REMOVE-INVISIBLE-FNS.html -- ACL2 Version 6.3

## REMOVE-INVISIBLE-FNS

make some unary functions no longer invisible

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

    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 function symbols (see macro-aliases-table).

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