src/ZF/ArithSimp.thy
2002-07-09 paulson 2002-07-09 better document preparation
2002-06-29 paulson 2002-06-29 conversion of many files to Isar format
2000-08-07 paulson 2000-08-07 instantiated Cancel_Numerals for "nat" in ZF