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 |