|
|
|---|
|
|
|
|---|
Set the induction-depth-limit
Examples: (set-induction-depth-limit 3) ;; Set the induction depth limit to 3. (set-induction-depth-limit nil) ;; Remove the induction depth limit.
Note: This is an event! It does not print the usual event summary but nevertheless changes the ACL2 logical world and is so recorded. It is local to the book or encapsulate form in which it occurs; see set-induction-depth-limit! for a corresponding non-local event.
General Form: (set-induction-depth-limit x)
where