src/HOL/Tools/numeral_syntax.ML
1999-07-21 paulson 1999-07-21 now exports mk_bin
1999-07-06 wenzelm 1999-07-06 added Numeral.thy, Tools/numeral_syntax.ML;