src/HOL/NatDef.ML
changeset 6349 f7750d816c21
parent 6115 c70bce7deb0f
child 7030 53934985426a