src/HOL/Tools/numeral_syntax.ML
2000-07-01 wenzelm 2000-07-01 GPLed;
1999-09-21 nipkow 1999-09-21 moved inf_of(?) to hologic.
1999-09-01 wenzelm 1999-09-01 observe show_types;
1999-07-23 paulson 1999-07-23 now using correctly-typed constants from HOLogic
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;