Speed-up-event
Suggest ways to speed up an event.
General Form:
(speed-up-event form
)
Inputs:
form — (required)
The entire event to speed up (e.g., a defthm form).
Description:
Wrapping an event in a call of speed-up-event causes attempts to be made to speed it up (e.g., by deleting hints). Currently, only defthm and defrule events are supported.