changeset 12322 | abf3d7aa09ea |
parent 12301 | adf0eff5ea62 |
child 12350 | 5fad0e7129c3 |
--- a/src/Pure/Isar/ROOT.ML Thu Nov 29 00:45:12 2001 +0100 +++ b/src/Pure/Isar/ROOT.ML Thu Nov 29 01:49:44 2001 +0100 @@ -28,7 +28,7 @@ use "skip_proof.ML"; (*outer syntax*) -(*use "outer_lex.ML";*) (*see ../Thy/ROOT.ML*) +(*use "outer_lex.ML";*) (*see ../Thy/ROOT.ML*) use "antiquote.ML"; use "comment.ML"; use "outer_parse.ML";