HasCASL/test/And.hascasl

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