| Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |
| Mon, 07 Aug 2000 10:29:54 +0200 | paulson | instantiated Cancel_Numerals for "nat" in ZF | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Wed, 27 Jan 1999 10:31:31 +0100 | paulson | new typechecking solver for the simplifier | file | diff | annotate |
| Tue, 22 Sep 1998 15:24:39 +0200 | paulson | re-organized for the new directory Integ | file | diff | annotate |