src/FOL/ROOT.ML
changeset 4222 d7573d6d0513
parent 4179 cc4b6791d5dc
child 4223 f60e3d2c81d3
     1.1 --- a/src/FOL/ROOT.ML	Wed Nov 12 16:27:13 1997 +0100
     1.2 +++ b/src/FOL/ROOT.ML	Wed Nov 12 16:28:53 1997 +0100
     1.3 @@ -13,12 +13,12 @@
     1.4  
     1.5  print_depth 1;  
     1.6  
     1.7 -use "../Provers/simplifier.ML";
     1.8 -use "../Provers/splitter.ML";
     1.9 -use "../Provers/ind.ML";
    1.10 -use "../Provers/hypsubst.ML";
    1.11 -use "../Provers/classical.ML";
    1.12 -use "../Provers/blast.ML";
    1.13 +use "$ISABELLE_HOME/src/Provers/simplifier.ML";
    1.14 +use "$ISABELLE_HOME/src/Provers/splitter.ML";
    1.15 +use "$ISABELLE_HOME/src/Provers/ind.ML";
    1.16 +use "$ISABELLE_HOME/src/Provers/hypsubst.ML";
    1.17 +use "$ISABELLE_HOME/src/Provers/classical.ML";
    1.18 +use "$ISABELLE_HOME/src/Provers/blast.ML";
    1.19  
    1.20  use_thy "IFOL";
    1.21