src/HOL/Nat.ML
changeset 1868 836950047d85
parent 1824 44254696843a
child 1919 d94c12235878