src/HOL/Integ/IntDiv.ML
2000-06-22 wenzelm 2000-06-22 bind_thm(s);
2000-06-14 paulson 2000-06-14 new lemmas for signs of products
2000-05-22 paulson 2000-05-22 further tidying
2000-05-04 paulson 2000-05-04 further tidying of integer simprocs
2000-05-03 paulson 2000-05-03 Installation of CombineNumerals for the integers Many bug fixes Removal of AssocFold for addition (nat and int)
2000-04-23 paulson 2000-04-23 [Int_CC.sum_conv, Int_CC.rel_conv] no longer exist
2000-03-30 nipkow 2000-03-30 recdef.rules -> recdef.simps
2000-02-18 nipkow 2000-02-18 installed lin arith for nat numerals.
1999-09-21 nipkow 1999-09-21 Integ/bin_simprocs.ML now loaded in Integ/Bin.ML
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1999-07-29 paulson 1999-07-29 added parentheses to cope with a possible reduction of the precedence of unary minus
1999-07-26 paulson 1999-07-26 expandshort
1999-07-23 paulson 1999-07-23 zadd_ac and zmult_ac are no longer included by default
1999-07-19 paulson 1999-07-19 many new laws about div and mod
1999-07-14 paulson 1999-07-14 optimization for division by powers of 2
1999-07-13 paulson 1999-07-13 many new theorems
1999-07-09 paulson 1999-07-09 faster division algorithm; monotonicity of div in 2nd arg
1999-07-08 paulson 1999-07-08 Introduction of integer division algorithm Renaming of theorems from _nat0 to _int0 and _nat1 to _int1