# HG changeset patch
# User wenzelm
# Date 939130494 -7200
# Node ID 2e737ce3cdb5b97c280954f4e71b7a1c9e4e7873
# Parent  b52c7d77312109c35cee4415a8e3a23fdae25ed5
outer_lex.ML loaded in Thy;

diff -r b52c7d773121 -r 2e737ce3cdb5 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Tue Oct 05 15:34:27 1999 +0200
+++ b/src/Pure/Isar/ROOT.ML	Tue Oct 05 15:34:54 1999 +0200
@@ -23,7 +23,7 @@
 
 (*outer syntax*)
 use "comment.ML";
-use "outer_lex.ML";
+(*use "outer_lex.ML";*)	  (*see ../Thy/ROOT.ML*)
 use "outer_parse.ML";
 
 (*toplevel environment*)