Nat.thy
changeset 15 25ec61ee621c
parent 0 7949f97df77a
child 51 934a58983311