src/ZF/Integ/Int.ML
2000-08-11 paulson 2000-08-11 new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
2000-08-11 paulson 2000-08-11 interim working version: more improvements to the integers
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers
2000-08-07 paulson 2000-08-07 instantiated Cancel_Numerals for "nat" in ZF
2000-08-02 paulson 2000-08-02 coercion "intify" to remove type constraints from integer algebraic laws
2000-08-01 paulson 2000-08-01 natify, a coercion to reduce the number of type constraints in arithmetic
2000-07-14 paulson 2000-07-14 changed the quotient syntax from / to //
2000-02-07 paulson 2000-02-07 tidied some proofs
1999-01-27 paulson 1999-01-27 new typechecking solver for the simplifier
1998-10-23 oheimb 1998-10-23 corrected auto_tac (applications of unsafe wrappers)
1998-09-25 paulson 1998-09-25 Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants