| Sat, 01 Mar 2008 15:01:03 +0100 | wenzelm | tuned ML code, more antiquotations; | file | diff | annotate |
| Tue, 25 Sep 2007 17:06:14 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Thu, 31 May 2007 12:06:31 +0200 | wenzelm | moved Integ files to canonical place; | file | diff | annotate |
| Tue, 12 Dec 2006 00:25:09 +0100 | wenzelm | read_xnum: return leading_zeros, radix; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 | paulson | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
| Tue, 16 Jan 2001 00:38:59 +0100 | wenzelm | use Syntax.read_xnum; | file | diff | annotate |
| Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |