src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Tue Aug 17 19:24:00 1999 +0200
+++ b/src/HOL/ROOT.ML	Tue Aug 17 22:11:05 1999 +0200
@@ -75,9 +75,6 @@
 use "bin_simprocs.ML";
 cd "..";
 
-use "Tools/svc_funcs.ML";
-use_thy "SVC_Oracle";
-
 (*the all-in-one theory*)
 use_thy "Main";