diff -r 89e0ff71d113 -r 9c02848c5404 src/HOL/Main.thy
--- a/src/HOL/Main.thy	Mon Aug 02 11:24:01 1999 +0200
+++ b/src/HOL/Main.thy	Mon Aug 02 11:24:30 1999 +0200
@@ -1,4 +1,5 @@
 
 (*theory Main includes everything*)
 
-Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation
+Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
+       SVC_Oracle