--- a/src/CTT/ROOT.ML Mon Feb 08 17:29:08 1999 +0100
+++ b/src/CTT/ROOT.ML Mon Feb 08 17:30:22 1999 +0100
@@ -13,7 +13,7 @@
print_depth 1;
use_thy "CTT";
-use "$ISABELLE_HOME/src/Provers/typedsimp.ML";
+use "~~/src/Provers/typedsimp.ML";
use "rew.ML";
use_thy "Arith";
use_thy "Bool";