[Added more eq examples and updated the eq test.
tobias@goedderz.info**20150219123253
 Ignore-this: 8355b4bf6a0037ef6cfd96f36664ee81
 
 Generalising eq resulted in false results due to incomplete examples. This patch
 completes the example set and adds a :test in tests/eq.bat that would trigger
 the previous wrong behaviour.
] hunk ./expl/Examples.hs 213
-eq Z (S Z) = False
-eq Z (S (S Z)) = False
-eq (S Z) Z = False
-eq (S Z) (S Z) = True
-eq (S Z) (S (S Z)) = False
-eq (S (S Z)) Z = False
-eq (S (S Z)) (S Z) = False
-eq (S (S Z)) (S (S Z)) = True
+eq    Z  (S Z) = False
+eq (S Z)    Z  = False
+eq       Z   (S (S Z)) = False
+eq    (S Z)     (S Z)  = True
+eq (S (S Z))       Z   = False
+eq          Z    (S (S (S Z))) = False
+eq       (S Z)      (S (S Z))  = False
+eq    (S (S Z))        (S Z)   = False
+eq (S (S (S Z)))          Z    = False
hunk ./tests/eq.bat 5
-:test eq on "eq (S (S (S (S Z)))) (S (S (S (S (S Z)))))"
+:test eq on "eq (S (S (S (S Z)))) (S Z)"
hunk ./tests/eq.out 28
-             eq           in 245     loops
+             eq           in 2527     loops
hunk ./tests/eq.out 35
-eq (S a0) a1 = eq a0 (fun72 (S a0) a1)
-fun72 (S a0) (Z) = S a0
-fun72 (S _) (S a1) = a1
+eq (S _) (Z) = False
+eq (S a0) (S a1) = eq a0 a1
hunk ./tests/eq.out 44
-eq (S a0) a1 = eq a0 (fun312 (S a0) a1)
-fun312 (S _) (Z) = S (S Z)
-fun312 (S _) (S a1) = a1
+eq (S _) (Z) = False
+eq (S a0) (S a1) = eq a1 a0
hunk ./tests/eq.out 54
-  eq (S (S (S (S Z)))) (S (S (S (S (S Z)))))  ==  False
+  eq (S (S (S (S Z)))) (S Z)  ==  False
hunk ./tests/eq.out 57
-  eq (S (S (S (S Z)))) (S (S (S (S (S Z)))))  ==  False
+  eq (S (S (S (S Z)))) (S Z)  ==  False