src/ZF/Integ/Bin.thy
Tue, 26 Jun 2001 17:04:09 +0200 paulson tidying and consolidating files
Thu, 10 Aug 2000 11:27:34 +0200 paulson installation of cancellation simprocs for the integers
Mon, 07 Aug 2000 10:29:54 +0200 paulson instantiated Cancel_Numerals for "nat" in ZF
Fri, 30 Jun 2000 10:59:50 +0200 paulson removed the mutual recursion from "bin_add"
Wed, 27 Jan 1999 10:31:31 +0100 paulson new typechecking solver for the simplifier
Wed, 13 Jan 1999 15:14:47 +0100 paulson tidying of datatype and inductive definitions
Mon, 28 Dec 1998 16:54:01 +0100 paulson converted to use new primrec section
Fri, 25 Sep 1998 13:18:07 +0200 paulson Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
Tue, 22 Sep 1998 13:49:22 +0200 paulson new directory for Integers
less more (0) tip