Thu, 06 Aug 1998 12:52:03 +0200 | nipkow | *** empty log message *** | changeset | files |
Thu, 06 Aug 1998 12:48:21 +0200 | nipkow | Lemma renamed in HOL. | changeset | files |
Thu, 06 Aug 1998 12:46:38 +0200 | nipkow | Added macro `termi' | changeset | files |
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 |
Thu, 06 Aug 1998 12:44:07 +0200 | nipkow | Removed comments. | changeset | files |