src/ZF/Main.thy
Fri, 11 Aug 2000 13:27:17 +0200 paulson new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
Thu, 10 Aug 2000 11:27:34 +0200 paulson installation of cancellation simprocs for the integers
Wed, 28 Jun 2000 10:58:06 +0200 paulson finally theory Bin (the integers) is included
Tue, 22 Sep 1998 15:23:39 +0200 paulson deleted erroneous semicolon
Fri, 17 Jul 1998 11:13:59 +0200 paulson as in HOL
less more (0) tip