And.hascasl revision 040d9b1fe7c96c9692fb759dec2886a95becec82
040d9b1fe7c96c9692fb759dec2886a95becec82Christian Maederfree type Bool ::= False | True
040d9b1fe7c96c9692fb759dec2886a95becec82Christian Maederop and: Bool -> (?Bool) -> Bool
040d9b1fe7c96c9692fb759dec2886a95becec82Christian Maeder. and False x = False
040d9b1fe7c96c9692fb759dec2886a95becec82Christian Maeder. and True x = x
040d9b1fe7c96c9692fb759dec2886a95becec82Christian Maeder. and False True = False %implied