src/ZF/ROOT.ML
changeset 6260 a8010d459ef7
parent 6153 bff90585cce5
child 6349 f7750d816c21
     1.1 --- a/src/ZF/ROOT.ML	Mon Feb 08 17:29:08 1999 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Mon Feb 08 17:30:22 1999 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  print_depth 1;
     1.5  
     1.6  (*Add user sections for inductive/datatype definitions*)
     1.7 -use     "$ISABELLE_HOME/src/Pure/section_utils";
     1.8 +use     "~~/src/Pure/section_utils";
     1.9  use     "thy_syntax";
    1.10  
    1.11  use_thy "Let";