Wed, 19 Dec 2001 11:13:27 +0100 | paulson | separation of the AC part of Main into Main_ZFC, plus a few new lemmas | file | diff | annotate |
Sat, 08 Dec 2001 17:25:45 +0100 | wenzelm | new-style theory; | file | diff | annotate |
Fri, 11 Aug 2000 13:27:17 +0200 | paulson | new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers | file | diff | annotate |
Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |
Wed, 28 Jun 2000 10:58:06 +0200 | paulson | finally theory Bin (the integers) is included | file | diff | annotate |
Tue, 22 Sep 1998 15:23:39 +0200 | paulson | deleted erroneous semicolon | file | diff | annotate |
Fri, 17 Jul 1998 11:13:59 +0200 | paulson | as in HOL | file | diff | annotate |