[modified example specification
martin.hofmann@uni-bamberg.de**20090706235208] hunk ./expl/Examples.hs 156
+-- BK for sort only, does not work alone
+insert :: Peano -> [Peano] -> [Peano]
+--insert Z [] = [Z]
+--insert (S Z) [] = [S Z]
+--insert (S(S Z)) = [S(S Z)]
+insert x [] = [x]	
+insert Z [S Z] = [Z,S Z]
+insert Z [S(S Z)] = [Z,S(S Z)]
+--insert Z [S Z, S(S Z)] = [Z, S(S Z)]
+--insert Z (x:xs) = (Z:x:xs)
+insert (S Z) [Z] = [Z,(S Z)]
+insert (S Z) [S(S Z)] = [S Z, S(S Z)]
+insert (S(S Z)) [Z] = [Z, S(S Z)]
+insert (S(S Z)) [S Z] = [S Z, S(S Z)]	
+insert Z [S Z, S(S Z)] = [Z, S Z, S(S Z)]
+insert (S Z) [Z,S(S Z)] = [Z, S Z, S(S Z)]
+insert (S(S Z)) [Z, S Z] = [Z, S Z, S(S Z)]
+
hunk ./expl/Examples.hs 286
+sort :: [Peano] -> [Peano]
+sort [] = []
+sort [Z]        = [Z]
+sort [S Z]      = [S Z]
+--sort [S(S Z)]   = [S(S Z)]	
+sort [Z,S Z]        = [Z,S Z]
+--sort [Z,S(S Z)]     = [Z,S(S Z)]
+sort [S Z, Z]       = [Z,S Z]
+--sort [S Z,S(S Z)]   = [S Z,S(S Z)]
+--sort [S(S Z), Z]    = [Z,S(S Z)]
+--sort [S(S Z),S Z]   = [S Z,S(S Z)]	
+--sort [Z,S Z,S(S Z)] = [Z,S Z,S(S Z)]
+--sort [Z,S(S Z),S Z] = [Z,S Z,S(S Z)]
+--sort [S Z,Z,S(S Z)] = [Z,S Z,S(S Z)]
+--sort [S Z,S(S Z),Z] = [Z,S Z,S(S Z)]
+--sort [S(S Z),Z,S Z] = [Z,S Z,S(S Z)]
+sort [S(S Z),S Z,Z] = [Z,S Z,S(S Z)]
+