| Tue, 20 Oct 1998 16:37:02 +0200 | wenzelm | quiet_mode, message; | changeset | files |
| Tue, 20 Oct 1998 16:36:40 +0200 | wenzelm | quiet proofs; | changeset | files |
| Tue, 20 Oct 1998 16:36:21 +0200 | wenzelm | fixed Syntax module; | changeset | files |
| Tue, 20 Oct 1998 16:35:37 +0200 | wenzelm | Datatype instead of Prod; | changeset | files |
| Tue, 20 Oct 1998 16:33:47 +0200 | wenzelm | QUIET_BREADTH_FIRST; | changeset | files |
| Tue, 20 Oct 1998 16:33:13 +0200 | wenzelm | no open; | changeset | files |
| Tue, 20 Oct 1998 16:32:20 +0200 | wenzelm | no open; | changeset | files |
| Tue, 20 Oct 1998 16:30:27 +0200 | wenzelm | no open; | changeset | files |