[examples added
martin.hofmann@uni-bamberg.de**20090924065440] hunk ./expl/Examples.hs 6
-add Z Z = Z
-add (S Z) Z = (S Z)
+-- add Z Z = Z
+-- add Z x = x
+-- add x Z = x
+-- add (S Z) Z = (S Z)
hunk ./expl/Examples.hs 12
-add Z (S (S Z)) = S (S Z)
-add (S (S Z)) Z = S (S Z)
+-- add Z (S (S Z)) = S (S Z)
+-- add (S (S Z)) Z = S (S Z)
hunk ./expl/Examples.hs 15
-add (S (S Z)) (S Z) = S (S (S Z))
-add (S (S (S Z))) Z = S (S (S Z))
-add Z (S (S (S Z))) = S (S (S Z))
+-- add (S (S Z)) (S Z) = S (S (S Z))
+-- add (S (S (S Z))) Z = S (S (S Z))
+-- add Z (S (S (S Z))) = S (S (S Z))
+add (S ( S Z)) (S (S (S Z))) = S (S (S( S( S Z))))
hunk ./expl/Examples.hs 183
+fib :: Peano -> Peano
+fib Z = Z
+fib (S(Z)) = S(Z)
+fib (S(S(Z))) = S(Z)
+fib (S(S(S(Z)))) = S(S(Z))
+fib (S(S(S(S(Z))))) = S(S(S(Z)))
+fib (S(S(S(S(S(Z)))))) = S(S(S(S(S(Z)))))
+