src/ZF/Integ/IntArith.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers