doc-src/Codegen/Thy/examples/Example.hs

--- a/doc-src/Codegen/Thy/examples/Example.hs	Wed Jul 25 16:41:02 2012 +0200
+++ b/doc-src/Codegen/Thy/examples/Example.hs	Wed Jul 25 17:43:36 2012 +0200
@@ -2,6 +2,13 @@
 
 module Example where {
 
+import Prelude ((==), (/=), (<), (<=), (>=), (>), (+), (-), (*), (/),
+  (**), (>>=), (>>), (=<<), (&&), (||), (^), (^^), (.), ($), ($!), (++),
+  (!!), Eq, error, id, return, not, fst, snd, map, filter, concat,
+  concatMap, reverse, zip, null, takeWhile, dropWhile, all, any, Integer,
+  negate, abs, divMod, String, Bool(True, False), Maybe(Nothing, Just));
+import qualified Prelude;
+
 data Queue a = AQueue [a] [a];
 
 empty :: forall a. Queue a;