Nat.thy
changeset 117 3716c99fb6a1
parent 109 c53c19fb22cb
child 145 a9f7ff3a464c
equal deleted inserted replaced
116:ab4328bbff70 117:3716c99fb6a1