src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Mon Feb 08 17:29:08 1999 +0100
+++ b/src/ZF/ROOT.ML	Mon Feb 08 17:30:22 1999 +0100
@@ -16,7 +16,7 @@
 print_depth 1;
 
 (*Add user sections for inductive/datatype definitions*)
-use     "$ISABELLE_HOME/src/Pure/section_utils";
+use     "~~/src/Pure/section_utils";
 use     "thy_syntax";
 
 use_thy "Let";