src/Pure/ROOT.ML
changeset 5092 e443bc494604
parent 5017 786a17461ab9
child 5093 f616efb64a0e
     1.1 --- a/src/Pure/ROOT.ML	Mon Jun 29 21:33:25 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Jun 29 21:33:35 1998 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  use "tactic.ML";
     1.5  use "goals.ML";
     1.6  use "axclass.ML";
     1.7 +use "pure.ML";
     1.8  
     1.9  (*theory parser and loader*)
    1.10  cd "Thy";