src/HOL/Nat.thy
changeset 50843 1465521b92a1
parent 49962 a8cc904a6820
child 51173 3cbb4e95a565