src/HOL/Nat.ML
changeset 15584 3478bb4f93ff
parent 15413 901d1bfedf09
child 15921 b6e345548913