src/HOL/Tools/numeral_syntax.ML
2006-01-19 ago setup: theory -> theory;
2005-06-11 ago Theory.hide_consts renamed to Theory.hide_consts_i;
2005-05-16 ago Use of IntInf.int instead of int in most numeric simprocs; avoids
2005-03-23 ago replaced bool by a new datatype "bit" for binary numerals
2005-03-08 ago fix integer overflow in numeral syntax for SML NJ.
2004-07-01 ago new treatment of binary numerals
2004-06-21 ago Merged in license change from Isabelle2004
2002-08-13 ago more robust printing of numerals;
2002-08-12 ago *** empty log message ***
2002-05-07 ago be liberal about missing types;
2001-10-05 ago sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
2001-08-08 ago constify numeral tokens in order to allow translations;
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;