src/HOL/Nat.ML
changeset 7584 5be4bb8e4e3f
parent 7089 9bfb8e218b99
child 8115 c802042066e8