--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Tutorial/Ifexpr/valif	Wed Aug 26 17:27:27 1998 +0200
@@ -0,0 +1,6 @@
+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)"