From a3592b805c570883fd63a5c75d6e16ea83f2e849 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Thu, 26 May 2011 22:46:43 -0700 Subject: [PATCH] General.v: add boolean and/or functions --- src/General.v | 2 ++ 1 file changed, 2 insertions(+) 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. -- 1.7.10.4