src/Pure/ROOT.ML
changeset 11759 56c80e542e44
parent 11545 0b56d9c90dcf
child 11835 13d12b99b843
     1.1 --- a/src/Pure/ROOT.ML	Sun Oct 14 20:07:11 2001 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sun Oct 14 20:07:32 2001 +0200
     1.3 @@ -49,6 +49,7 @@
     1.4  use "search.ML";
     1.5  use "tactic.ML";
     1.6  use "goals.ML";
     1.7 +use "object_logic.ML";
     1.8  
     1.9  (*proof term operations*)
    1.10  cd "Proof";