src/ZF/ArithSimp.thy
Tue, 09 Jul 2002 23:05:26 +0200 paulson better document preparation
Sat, 29 Jun 2002 21:33:06 +0200 paulson conversion of many files to Isar format
Mon, 07 Aug 2000 10:29:54 +0200 paulson instantiated Cancel_Numerals for "nat" in ZF
less more (0) tip