Major Section: SWITCHES-PARAMETERS-AND-MODES
Example: (remove-binop binary-append)See add-binop for a discussion of how to associate a macro name with a binary function name for proof output purposes. This form sets
General Form: (remove-binop binop)
binop-tableto the result of deleting the association of a macro name with the given binary function name. If the function name has no such association, then this form still generates an event, but the event has no real effect.