src/HOL/Nat.ML
changeset 16587 b34c8aa657a5
parent 15921 b6e345548913
child 16796 140f1e0ea846