src/Pure/ROOT.ML
changeset 58664 4e4a4c758f9c
parent 58660 8d4aebb9e327
child 58842 22b87ab47d3b
     1.1 --- a/src/Pure/ROOT.ML	Mon Oct 13 20:29:30 2014 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Oct 13 20:51:48 2014 +0200
     1.3 @@ -181,7 +181,6 @@
     1.4  use "pattern.ML";
     1.5  use "unify.ML";
     1.6  use "theory.ML";
     1.7 -use "interpretation.ML";
     1.8  use "proofterm.ML";
     1.9  use "thm.ML";
    1.10  use "more_thm.ML";