Thu, 06 Aug 1998 12:46:18 +0200 | nipkow | New lemmas in List and Lambda in IsaMakefile | changeset | files |
Thu, 06 Aug 1998 12:45:28 +0200 | nipkow | Removed duplicate thms (see comment to Arith.ML) | changeset | files |
Thu, 06 Aug 1998 12:45:02 +0200 | nipkow | Removed duplicate thms: | changeset | files |