[new examples
martin.hofmann@uni-bamberg.de**20090911130723] hunk ./expl/Examples.hs 77
-appenD [][] = []
-appenD [a][] = [a]
-appenD [][c] = [c]
-appenD [a][c] = [a,c]
-appenD [a,b][] = [a,b]
-appenD [][c,d] = [c,d]
-appenD [a,b][c] = [a,b,c]
-appenD [a][c,d] = [a,c,d]
-appenD [a,b][c,d] = [a,b,c,d]
+appenD [] x = x
+--appenD [][]        = []
+appenD [a][]       = [a]
+--appenD [][c]       = [c]
+--appenD [][c,d]     = [c,d]
+appenD [a][c]      = [a,c]
+appenD [a,b][]     = [a,b]
+--appenD [] [a,b,c]  = [a,b,c]
+appenD [a][c,d]    = [a,c,d]
+appenD [a,b][d]    = [a,b,d]
+appenD [a,c,d][]   = [a,c,d]
+--appenD [][a,b,c,d] = [a,b,c,d]
+appenD [a,b][c,d]  = [a,b,c,d]
+appenD [a,b,c][d]  = [a,b,c,d]
+appenD [a,b,c,d][] = [a,b,c,d]
hunk ./expl/Examples.hs 315
+negateAll :: [Bool] -> [Bool]
+negateAll []            = []
+negateAll [True]        = [False]
+negateAll [False]       = [True]
+negateAll [False,False] = [True,True]
+negateAll [False,True]  = [True,False]
+negateAll [True,False]  = [False,True]
+negateAll [True,True]   = [False,False]
+