040d9b1fe7c96c9692fb759dec2886a95becec82Christian Maederfree type Bool ::= False | True
5cb757fab60f0c6bd6c2ff444d18963f078be9beChristian Maederop And : Bool -> ? Bool -> Bool
5cb757fab60f0c6bd6c2ff444d18963f078be9beChristian Maedervar x : ? Bool
b640fb89ee46f63ae66111c0a12c0ff39e9daf20Christian Maeder. And False x = False
b640fb89ee46f63ae66111c0a12c0ff39e9daf20Christian Maeder. And True x = x
b640fb89ee46f63ae66111c0a12c0ff39e9daf20Christian Maeder. And False True = False %implied