src/Pure/ROOT.ML
changeset 61669 27ca6147e3b3
parent 61619 f22054b192b0
child 61715 5dc95d957569
     1.1 --- a/src/Pure/ROOT.ML	Sat Nov 14 08:45:51 2015 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Nov 14 08:45:51 2015 +0100
     1.3 @@ -271,6 +271,7 @@
     1.4  use "Isar/class.ML";
     1.5  use "Isar/named_target.ML";
     1.6  use "Isar/expression.ML";
     1.7 +use "Isar/interpretation.ML";
     1.8  use "Isar/class_declaration.ML";
     1.9  use "Isar/bundle.ML";
    1.10  use "Isar/experiment.ML";