Theory BinOP

Up to index of Isabelle/HOL/SafeImp

theory BinOP
imports Main
begin

(* 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