src/Pure/ROOT.ML
changeset 48646 91281e9472d8
parent 48641 92b48b8abfe4
child 48681 181b91e1d1c1
     1.1 --- a/src/Pure/ROOT.ML	Thu Aug 02 11:32:23 2012 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Aug 02 12:36:54 2012 +0200
     1.3 @@ -282,9 +282,6 @@
     1.4  
     1.5  use "Tools/xml_syntax.ML";
     1.6  
     1.7 -use "Tools/find_theorems.ML";
     1.8 -use "Tools/find_consts.ML";
     1.9 -
    1.10  
    1.11  (* configuration for Proof General *)
    1.12