doc-src/Tutorial/Misc/Exor.thy
author wenzelm
Mon, 09 Nov 1998 11:20:07 +0100
changeset 5814 a3881c1f1d3c
parent 5377 efb799c5ed3c
permissions -rw-r--r--
isabelle -I;

Exor = Main +
constdefs
 exor :: bool => bool => bool
"exor A B == (A & ~B) | (~A & B)"
end