src/HOL/Nat.thy
changeset 52252 81fcc11d8c65
parent 51329 4a3c453f99a1
child 52289 83ce5d2841e7