* eval.c (eval_init): Register notf intrinsic function.

* lib.c (do_not): New static function.
(notf): New function.

* lib.h (notf): Declared.

* txr.1: Documented notf.

* share/txr/stdlib/txr-case.txr (bindable): Eliminated.
(txr-if): Use functional expression, taking advantage of notf.

* txr.vim: Regenerated.

1 files changed, 1 insertions, 0 deletions

diff --git a/eval.c b/eval.c
index c4b5cb78..94736bdb 100644
--- a/eval.c
+++ b/eval.c
@@ -3711,6 +3711,7 @@ void eval_init(void)
   reg_fun(intern(lit("juxt"), user_package), func_n0v(juxtv));
   reg_fun(intern(lit("andf"), user_package), func_n0v(andv));
   reg_fun(intern(lit("orf"), user_package), func_n0v(orv));
+  reg_fun(intern(lit("notf"), user_package), func_n1(notf));
   reg_fun(intern(lit("iff"), user_package), func_n3o(iff, 2));
   reg_fun(intern(lit("iffi"), user_package), func_n3o(iffi, 2));
   reg_fun(intern(lit("if"), user_package), func_n3o(if_fun, 2));