[worked on specification
martin.hofmann@uni-bamberg.de**20090618025630] hunk ./expl/Examples.hs 162
+anD :: [Bool] -> Bool
+anD [] = True
+anD [True] = True
+anD [False] = False
+anD [True,True] = True
+anD [True,False] = False
+anD [False,True] = False
+anD [False,False] = False
+anD [True,True,True] = True
+anD [False,True,True] = False
+anD [True,False,True] = False
+anD [True,True,False] = False
+anD [True,False,False] = False
+anD [False,True,False] = False
+anD [False,False,True] = False
+anD [False,False,False] = False
hunk ./expl/Examples.hs 179
+aNd :: Bool -> Bool -> Bool
+aNd True True = True
+aNd True False = False
+aNd False True = False
+aNd False False = False