src/ZF/Integ/Int.ML
Tue, 26 Jun 2001 17:04:09 +0200 paulson tidying and consolidating files
Mon, 21 May 2001 14:52:27 +0200 paulson the rest of integer division
Thu, 07 Sep 2000 21:21:07 +0200 wenzelm tuned ML code (the_context, bind_thms(s));
Thu, 07 Sep 2000 17:36:37 +0200 paulson a number of new theorems
Fri, 11 Aug 2000 13:27:17 +0200 paulson new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
Fri, 11 Aug 2000 10:34:02 +0200 paulson interim working version: more improvements to the integers
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
Wed, 02 Aug 2000 16:07:32 +0200 paulson coercion "intify" to remove type constraints from integer algebraic laws
Tue, 01 Aug 2000 15:28:21 +0200 paulson natify, a coercion to reduce the number of type constraints in arithmetic
Fri, 14 Jul 2000 13:39:03 +0200 paulson changed the quotient syntax from / to //
Mon, 07 Feb 2000 15:14:02 +0100 paulson tidied some proofs
Wed, 27 Jan 1999 10:31:31 +0100 paulson new typechecking solver for the simplifier
Fri, 23 Oct 1998 20:44:34 +0200 oheimb corrected auto_tac (applications of unsafe wrappers)
Fri, 25 Sep 1998 13:18:07 +0200 paulson Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
less more (0) tip