diff -r 628d87767434 -r 08519594b0e4 doc-src/Tutorial/Ifexpr/value
--- a/doc-src/Tutorial/Ifexpr/value	Mon Nov 29 11:12:19 2004 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-consts value :: boolex => (nat => bool) => bool
-primrec
-"value (Const b) env = b"
-"value (Var x)   env = env x"
-"value (Neg b)   env = (~ value b env)"
-"value (And b c) env = (value b env & value c env)"