X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FGeneral.v;h=ae27b9f99cc725f7b68a5a2cf719e83421825146;hp=5d19e9c60bf7b75bdd3cf32962dda8dcefbf07b5;hb=a3592b805c570883fd63a5c75d6e16ea83f2e849;hpb=5deda3b8240059e9969a31706d89b8a3818b184c

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.