src/HOL/int_arith1.ML
2007-06-16 nipkow 2007-06-16 The simprocs "divide_cancel_factor" and "ring_eq_cancel_factor" no longer need class numeral_ring. This made a number of special simp-thms redundant.
2007-06-13 huffman 2007-06-13 removed constant int :: nat => int; int is now an abbreviation for of_nat :: nat => int
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;