src/HOL/Integ/IntArith.ML
2000-06-16 paulson 2000-06-16 some missing simprules for integer linear arithmetic
2000-06-14 paulson 2000-06-14 new lemmas for signs of products
2000-05-30 wenzelm 2000-05-30 cleaned up;
2000-05-08 paulson 2000-05-08 better simplification of the result of simprocs
2000-05-05 paulson 2000-05-05 simprocs now simplify the RHS of their result
2000-05-04 paulson 2000-05-04 if_weak_cong should make linear arithmetic faster
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-05-02 paulson 2000-05-02 now with combine_numerals
2000-04-23 paulson 2000-04-23 now uses the new cancel_numerals simproc
2000-02-18 nipkow 2000-02-18 installed lin arith for nat numerals.
1999-10-04 wenzelm 1999-10-04 simprocs now in IntArith;