--- 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)