src/Pure/ROOT.ML
changeset 24664 4195de64fdb1
parent 24574 e840872e9c7c
child 24833 9131433b19bb
     1.1 --- a/src/Pure/ROOT.ML	Thu Sep 20 17:48:16 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Sep 20 20:56:32 2007 +0200
     1.3 @@ -56,6 +56,7 @@
     1.4  use "net.ML";
     1.5  use "defs.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";