Add a REDUCE-OPERATOR declaration so that users can get the same
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 11 May 1988 04:19:27 +0000 (04:19 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 11 May 1988 04:19:27 +0000 (04:19 +0000)
commit9759580bfa84461c1b98cc44655f20493ddd9558
tree2636ca2a459670260831b3371ca0f91bdb23003c
parent3491eb4fa79ac0a3c6b3788e62f34ef2e574cd1f
Add a REDUCE-OPERATOR declaration so that users can get the same
functionality as the system already provides for +, -, list, etc.

Shorten some of the warning messages.
v7/src/sf/make.scm
v7/src/sf/pardec.scm
v7/src/sf/subst.scm
v7/src/sf/usiexp.scm
v8/src/sf/make.scm