src/HOL/Nat.thy
changeset 45802 b16f976db515
parent 45696 476ad865f125
child 45833 033cb3a668b9