Thu, 12 Aug 1999 15:35:03 +0200 | berghofe | Tuned. | changeset | files |
Wed, 11 Aug 1999 13:14:31 +0200 | nipkow | Removed | changeset | files |
Wed, 11 Aug 1999 13:13:58 +0200 | nipkow | * set HOL_quantifiers by default, i.e. quantifiers are printed as | changeset | files |