diff -r 628d87767434 -r 08519594b0e4 doc-src/Tutorial/Ifexpr/valif
--- a/doc-src/Tutorial/Ifexpr/valif	Mon Nov 29 11:12:19 2004 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-consts valif :: ifex => (nat => bool) => bool
-primrec
-"valif (CIF b)    env = b"
-"valif (VIF x)    env = env x"
-"valif (IF b t e) env = (if valif b env then valif t env
-                                        else valif e env)"