1
(* $Id$ *)
2
3
theory If
4
imports FOLP
5
begin
6
7
constdefs
8
"if" :: "[o,o,o]=>o"
9
"if(P,Q,R) == P&Q | ~P&R"
10
11
ML {* use_legacy_bindings (the_context ()) *}
12
13
end