aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RNS-.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-07-22 16:15:30 +0000
committerdos-reis <gdr@axiomatics.org>2010-07-22 16:15:30 +0000
commit510c2f70ce377d60eed221e46294767f7f548f5d (patch)
treedb7b49602660346425298790df1ffcb9ad5f7c26 /src/algebra/strap/RNS-.lsp
parentc1da0d2561b27741a6feb73336b0712f5ddc7e97 (diff)
downloadopen-axiom-510c2f70ce377d60eed221e46294767f7f548f5d.tar.gz
* interp/g-opt.boot (simplifyVMForm): New.
(optRetract): Simplify the predicate when possible. (optNot): New transformer. (optAnd): Likewise. (optOr): Likewise. (optIlt): Likewise. (optIle): Likewise. (optIgt): Likewise. (optIge): Likewise.
Diffstat (limited to 'src/algebra/strap/RNS-.lsp')
0 files changed, 0 insertions, 0 deletions