src/HOL/Tools/numeral_syntax.ML
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Sat, 11 Jun 2005 22:15:50 +0200 wenzelm Theory.hide_consts renamed to Theory.hide_consts_i;
Mon, 16 May 2005 10:29:15 +0200 paulson Use of IntInf.int instead of int in most numeric simprocs; avoids
Wed, 23 Mar 2005 12:09:18 +0100 paulson replaced bool by a new datatype "bit" for binary numerals
Tue, 08 Mar 2005 16:02:52 +0100 obua fix integer overflow in numeral syntax for SML NJ.
Thu, 01 Jul 2004 12:29:53 +0200 paulson new treatment of binary numerals
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 13 Aug 2002 12:16:14 +0200 wenzelm more robust printing of numerals;
Mon, 12 Aug 2002 17:48:19 +0200 nipkow *** empty log message ***
Tue, 07 May 2002 14:28:34 +0200 wenzelm be liberal about missing types;
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Wed, 08 Aug 2001 17:38:29 +0200 wenzelm constify numeral tokens in order to allow translations;
Fri, 12 Jan 2001 20:03:26 +0100 wenzelm hide dest_bin;
Mon, 18 Dec 2000 14:59:05 +0100 nipkow moved mk_bin from Numerals to HOLogic
Thu, 13 Jul 2000 23:11:38 +0200 wenzelm use Syntax.read_xnum;
Sat, 01 Jul 2000 19:55:22 +0200 wenzelm GPLed;
Tue, 21 Sep 1999 14:14:14 +0200 nipkow moved inf_of(?) to hologic.
Wed, 01 Sep 1999 21:26:26 +0200 wenzelm observe show_types;
Fri, 23 Jul 1999 17:30:27 +0200 paulson now using correctly-typed constants from HOLogic
Wed, 21 Jul 1999 15:18:36 +0200 paulson now exports mk_bin
Tue, 06 Jul 1999 21:08:30 +0200 wenzelm added Numeral.thy, Tools/numeral_syntax.ML;
less more (0) tip