src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Fri May 05 22:24:47 2000 +0200
+++ b/src/HOL/ROOT.ML	Fri May 05 22:25:17 2000 +0200
@@ -12,7 +12,6 @@
 print_depth 1;
 
 (*old-style theory syntax*)
-use "~~/src/Pure/section_utils.ML";
 use "thy_syntax.ML";
 
 use "hologic.ML";