1
2
(* $Id$ *)
3
4
header {* Demonstrating the interface SVC *}
5
6
theory svc_test
7
imports SVC_Oracle
8
begin
9
10
syntax
11
"<->" :: "[bool, bool] => bool" (infixr 25)
12
13
translations
14
"x <-> y" => "x = y"
15
16
end