| Tue, 20 Oct 1998 16:39:14 +0200 | wenzelm | split_paired_all.ML; | changeset | files |
| Tue, 20 Oct 1998 16:38:37 +0200 | wenzelm | field types: datatype; | changeset | files |
| 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 |