src/Pure/ROOT.ML
changeset 58842 22b87ab47d3b
parent 58664 4e4a4c758f9c
child 58846 98c03412079b
     1.1 --- a/src/Pure/ROOT.ML	Thu Oct 30 23:14:11 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Oct 31 11:18:17 2014 +0100
     1.3 @@ -334,7 +334,6 @@
     1.4  
     1.5  use "Tools/build.ML";
     1.6  use "Tools/named_thms.ML";
     1.7 -use "Tools/proof_general.ML";
     1.8  
     1.9  structure Output: OUTPUT = Output;  (*seal system channels!*)
    1.10