[Examples modiefied
martin.hofmann@uni-bamberg.de**20090922095048] hunk ./expl/Examples.hs 332
+
+
hunk ./expl/Examples.hs 398
+suM [S(S Z),S Z, S(S Z)] = S(S(S(S(S Z))))