# HG changeset patch
# User wenzelm
# Date 1013421393 -3600
# Node ID d7f8dfaad46d61a8dcb2ae4e30bc458958bd358a
# Parent  0855c3ab20479107e78479cbd21fa90f699e0b12
include SVC_Test;

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)