diff -r e482f206821e -r b3d94253e7f2 doc-src/Codegen/Thy/examples/Example.hs
--- a/doc-src/Codegen/Thy/examples/Example.hs	Mon Jun 14 15:27:09 2010 +0200
+++ b/doc-src/Codegen/Thy/examples/Example.hs	Mon Jun 14 15:27:09 2010 +0200
@@ -2,13 +2,6 @@
 
 module Example where {
 
-foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a;
-foldla f a [] = a;
-foldla f a (x : xs) = foldla f (f a x) xs;
-
-rev :: forall a. [a] -> [a];
-rev xs = foldla (\ xsa x -> x : xsa) [] xs;
-
 list_case :: forall a b. a -> (b -> [b] -> a) -> [b] -> a;
 list_case f1 f2 (a : list) = f2 a list;
 list_case f1 f2 [] = f1;