From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 27 May 2011 05:46:43 +0000 (-0700)
Subject: General.v: add boolean and/or functions
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=a3592b805c570883fd63a5c75d6e16ea83f2e849

General.v: add boolean and/or functions
---

diff --git a/src/General.v b/src/General.v
index 5d19e9c..ae27b9f 100644
--- a/src/General.v
+++ b/src/General.v
@@ -866,6 +866,8 @@ Definition map2 {A}{B}(f:A->B)(t:A*A) : (B*B) := ((f (fst t)), (f (snd t))).
 
 (* boolean "not" *)
 Definition bnot (b:bool) : bool := if b then false else true.
+Definition band (b1 b2:bool) : bool := if b1 then b2 else false.
+Definition bor  (b1 b2:bool) : bool := if b1 then true else b2.
 
 (* string stuff *)
 Variable eol : string.