src/HOL/Tools/numeral_syntax.ML
2001-01-12 ago hide dest_bin;
2000-12-18 ago moved mk_bin from Numerals to HOLogic
2000-07-13 ago use Syntax.read_xnum;
2000-07-01 ago GPLed;
1999-09-21 ago moved inf_of(?) to hologic.
1999-09-01 ago observe show_types;
1999-07-23 ago now using correctly-typed constants from HOLogic
1999-07-21 ago now exports mk_bin
1999-07-06 ago added Numeral.thy, Tools/numeral_syntax.ML;