fact: Fixpoint interp_tree t rm := match t with | Ttrue => True | Tfalse => False | Ttree cnj l r => (if cnj then and else or) (interp_tree l rm) (interp_tree r rm) | Tatom pos a => interp_atom a pos rm end.
imports: Reals List Bool Gappa_common