(* Title: Binary Operations
Autor:
Copyright: July 2008, Universidad Complutense de Madrid
*)
header {* Primitive operators for SVM anf JVM *}
theory BinOP
imports Main
begin
text{* Primitive operators *}
datatype PrimOp = Add | Substract | Times | Divide | LessThan | LessEqual
| Equal | GreaterThan | GreaterEqual | NotEqual
end