sets the step-limit used by the ACL2 prover at the top level
only  This event provides a way to limit the number of so-called
``prover steps'' permitted for an event. See with-prover-step-
limit for a way to specify the limit on prover steps for a
single event, rather than globally (and without the restriction
mentioned above, pertaining to the top level). For a related
utility based on time instead of prover steps, see with-prover-
time-limit. For examples of how step limits work, see the
distributed book books/misc/misc2/step-limits.lisp.   Example
Forms:  General Form: (set-prover-step-limit expr)   Depending
on the computer you are using, you may have only (very roughly)
a half-hour of time before the number of prover steps exceeds
the maximum step-limit, which is one less than the value of
*default-step-limit*. Note however the exception stated above:
if the ``limit'' is nil or is the value of *default-step-limit*,
then no limit is imposed.  The limit is relevant for every
event, to calls of thm and certif