src/HOL/Nat.thy
changeset 17840 11bcd77cfa22
parent 17702 ea88ddeafabe
child 18648 22f96cd085d5