src/HOL/ROOT.ML
changeset 19174 df9de25e87b3
parent 19161 b395f586633f
child 19835 81d6dc597559
     1.1 --- a/src/HOL/ROOT.ML	Thu Mar 02 16:01:06 2006 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Thu Mar 02 18:49:13 2006 +0100
     1.3 @@ -31,9 +31,6 @@
     1.4  use "~~/src/Provers/quasi.ML";
     1.5  use "~~/src/Provers/order.ML";
     1.6  
     1.7 -
     1.8 -use "Tools/res_atpset.ML";
     1.9 -
    1.10  with_path "Integ" use_thy "Main";
    1.11  
    1.12  path_add "~~/src/HOL/Library";