src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Fri Jul 30 18:27:25 1999 +0200
+++ b/src/HOL/ROOT.ML	Mon Aug 02 11:24:01 1999 +0200
@@ -75,6 +75,9 @@
 use "bin_simprocs.ML";
 cd "..";
 
+use "Tools/svc_funcs.ML";
+use_thy "SVC_Oracle";
+
 (*the all-in-one theory*)
 use_thy "Main";