| 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 |
| Mon, 09 Aug 1999 22:25:27 +0200 | wenzelm | added asym rule; | changeset | files |
| Mon, 09 Aug 1999 22:23:07 +0200 | wenzelm | tuned print_state; | changeset | files |