src/ZF/Integ/Int.thy
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2004-04-02 paulson 2004-04-02 updated treatment of znegative and nat_of
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-09-07 paulson 2002-09-07 conversion of ZF/Integ/{Int,Bin} to Isar scripts
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
2001-05-21 paulson 2001-05-21 the rest of integer division
2000-09-15 wenzelm 2000-09-15 tuned symbols;
2000-09-07 paulson 2000-09-07 a number of new theorems
2000-08-18 paulson 2000-08-18 X-symbols for ordinal, cardinal, integer arithmetic
2000-08-11 paulson 2000-08-11 new theory Integ/IntDiv and many more monotonicity laws, etc., for 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-07-14 paulson 2000-07-14 changed the quotient syntax from / to //
1998-09-25 paulson 1998-09-25 Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants