| Sat, 23 Apr 2005 19:49:49 +0200 | wenzelm | added content of Pure/Thy/ROOT.ML, Pure/Proof/ROOT.ML; | changeset | files |
| Sat, 23 Apr 2005 19:49:39 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 23 Apr 2005 19:49:26 +0200 | wenzelm | removed Pure/Syntax/token_trans.ML Pure/Thy/ROOT.ML Pure/Proof/ROOT.ML Pure/Isar/isar.ML; | changeset | files |