src/Pure/ROOT.ML
changeset 5211 c02b0c727780
parent 5113 c4da11bb0592
child 5244 5313f781efe0
     1.1 --- a/src/Pure/ROOT.ML	Tue Jul 28 17:05:34 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Jul 29 15:38:08 1998 +0200
     1.3 @@ -46,13 +46,14 @@
     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";
    1.11  use "ROOT.ML";
    1.12  cd "..";
    1.13  
    1.14 +use "pure.ML";
    1.15 +
    1.16  use "install_pp.ML";
    1.17  
    1.18  (*if true then some packages won't be too serious about actually proving things*)