src/Pure/ROOT.ML
changeset 43776 6dd13e111d30
parent 43767 e0219ef7f84c
child 43791 5e9a1d71f94d
     1.1 --- a/src/Pure/ROOT.ML	Tue Jul 12 15:12:50 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue Jul 12 15:17:37 2011 +0200
     1.3 @@ -188,7 +188,6 @@
     1.4  use "Isar/token.ML";
     1.5  use "Isar/keyword.ML";
     1.6  use "Isar/parse.ML";
     1.7 -use "Isar/parse_value.ML";
     1.8  use "Isar/args.ML";
     1.9  
    1.10  (*ML support*)