| 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 |