| Tue, 20 May 1997 11:38:50 +0200 | paulson | The diff laws must be named: we do "Delsimps [diff_Suc];" | changeset | files |
| Tue, 20 May 1997 11:37:57 +0200 | paulson | New theorems from Hoare/Arith2.ML | changeset | files |
| Tue, 20 May 1997 11:34:26 +0200 | paulson | new treatment of Prover files | changeset | files |
| 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 |