diff -r 628d87767434 -r 08519594b0e4 doc-src/Tutorial/Ifexpr/normal
--- a/doc-src/Tutorial/Ifexpr/normal	Mon Nov 29 11:12:19 2004 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-consts normal :: ifex => bool
-primrec
-"normal(CIF b) = True"
-"normal(VIF x) = True"
-"normal(IF b t e) = (normal t & normal e &
-      (case b of CIF b => True | VIF x => True | IF x y z => False))"