diff -r 488bdc1bd11a -r a8010d459ef7 src/CTT/ROOT.ML
--- 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";