Major Section: EVENTS
Examples: (remove-invisible-fns (binary-+ unary-- foo)The setting above has makes unary functions
unary-- and foo no
longer ``invisible'' for the purposes of applying permutative :rewrite
rules to binary-+ trees.
General Form: (remove-invisible-fns top-fn unary-fn1 ... unary-fnk)where
top-fn is a function symbol and the unary-fni are unary
function symbols.
See add-invisible-fns and also see invisible-fns-table and
see set-invisible-fns-table.