diff -r 0855c3ab2047 -r d7f8dfaad46d src/HOL/ex/svc_test.thy
--- a/src/HOL/ex/svc_test.thy	Thu Feb 07 11:07:03 2002 +0100
+++ b/src/HOL/ex/svc_test.thy	Mon Feb 11 10:56:33 2002 +0100
@@ -1,4 +1,5 @@
-svc_test = Main +
+
+svc_test = SVC_Oracle +
 
 syntax
     "<->"         :: [bool, bool] => bool                  (infixr 25)