src/HOL/Integ/IntArith.thy
2000-12-01 nipkow 2000-12-01 Linear arithmetic now copes with mixed nat/int formulae.
2000-07-25 wenzelm 2000-07-25 rearranged setup of arithmetic procedures, avoiding global reference values;
2000-07-01 nipkow 2000-07-01 Defined abs on int.
1999-10-04 wenzelm 1999-10-04 simprocs now in IntArith;