STOP-PROOF-TREE.html -- ACL2 Version 6.3

## STOP-PROOF-TREE

stop displaying proof trees during proofs

    Major Section:  PROOF-TREE

Also see proof-tree and see start-proof-tree. Note that `:stop-proof-tree` works by adding `'``proof-tree` to the `inhibit-output-lst`; see set-inhibit-output-lst.

Proof tree displays are explained in the documentation for proof-tree. `:Stop-proof-tree` causes proof tree display to be turned off.

It is permissible to submit the form `(stop-proof-tree)` during a break. Thus, you can actually turn off proof tree display in the middle of a proof by interrupting ACL2 and submitting the form `(stop-proof-tree)` in raw Lisp.