src/HOL/Tools/numeral.ML
changeset 41648 6d736d983d5c
parent 38923 79d7f2b4cf71
child 46497 89ccf66aa73d