diff -r 628d87767434 -r 08519594b0e4 doc-src/Tutorial/CodeGen/comp
--- a/doc-src/Tutorial/CodeGen/comp	Mon Nov 29 11:12:19 2004 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-consts comp :: ('a,'v) expr => (('a,'v) instr) list
-primrec
-"comp (Cex v)       = [Const v]"
-"comp (Vex a)       = [Load a]"
-"comp (Bex f e1 e2) = (comp e2) @ (comp e1) @ [Apply f]"