2005-04-23 | wenzelm | qualified name Pure.attribute; | changeset | files |
2005-04-23 | wenzelm | removed isar.ML; | changeset | files |
2005-04-23 | wenzelm | improved read_tyname; | changeset | files |
2005-04-23 | wenzelm | added content of Pure/Thy/ROOT.ML, Pure/Proof/ROOT.ML; | changeset | files |
2005-04-23 | wenzelm | tuned proofs; | changeset | files |
2005-04-23 | wenzelm | removed Pure/Syntax/token_trans.ML Pure/Thy/ROOT.ML Pure/Proof/ROOT.ML Pure/Isar/isar.ML; | changeset | files |
Loading... |