src/HOL/Nat.thy
changeset 47220 52426c62b5d0
parent 47208 9a91b163bb71
child 47255 30a1692557b0