| Sun, 01 Oct 2006 18:29:23 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | 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 |
| Thu, 01 Jul 2004 12:29:53 +0200 | paulson | new treatment of binary numerals | file | diff | annotate |
| Thu, 19 Feb 2004 15:57:34 +0100 | ballarin | Efficient, graph-based reasoner for linear and partial orders. | file | diff | annotate |
| Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
| Tue, 22 Jul 2003 11:05:02 +0200 | paulson | Added some regression testing for simprocs | file | diff | annotate |