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 |