| Tue, 20 May 1997 11:33:45 +0200 | paulson | Removal of ex/LexProd; TFL files; new treatment of Prover files | changeset | files |
| Tue, 20 May 1997 11:33:02 +0200 | paulson | Removal of ex/LexProd | changeset | files |
| Tue, 20 May 1997 11:05:59 +0200 | wenzelm | improved output syntax of op =, op ~= (more parentheses); | changeset | files |
| Tue, 20 May 1997 10:48:08 +0200 | wenzelm | SYNC; | changeset | files |