src/HOL/Tools/numeral_syntax.ML
2002-08-13 wenzelm 2002-08-13 more robust printing of numerals;
2002-08-12 nipkow 2002-08-12 *** empty log message ***
2002-05-07 wenzelm 2002-05-07 be liberal about missing types;
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-08-08 wenzelm 2001-08-08 constify numeral tokens in order to allow translations;
2001-01-12 wenzelm 2001-01-12 hide dest_bin;
2000-12-18 nipkow 2000-12-18 moved mk_bin from Numerals to HOLogic first steps towards rational lin arith
2000-07-13 wenzelm 2000-07-13 use Syntax.read_xnum;
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;