Def Nat.bitwise'

Modification history