src/CTT/ROOT.ML
changeset 4222 d7573d6d0513
parent 3929 3553fcfa2c7e
child 5210 54aaa779b6b4
     1.1 --- a/src/CTT/ROOT.ML	Wed Nov 12 16:27:13 1997 +0100
     1.2 +++ b/src/CTT/ROOT.ML	Wed Nov 12 16:28:53 1997 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  print_depth 1;  
     1.5  
     1.6  use_thy "CTT";
     1.7 -use "../Provers/typedsimp.ML";
     1.8 +use "$ISABELLE_HOME/src/Provers/typedsimp.ML";
     1.9  use "rew.ML";
    1.10  use_thy "Arith";
    1.11  use_thy "Bool";