		Search-engine friendly clone of the ACL2 documentation.

Loop-stopper

Remove-invisible-fns

Make some unary functions no longer invisible

Examples:
(remove-invisible-fns binary-+ unary-- foo)
(remove-invisible-fns + 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, or more generally, these are all macro aliases for such function symbols (see macro-aliases-table).

See add-invisible-fns and also see invisible-fns-table and see set-invisible-fns-table.