| | | B.2.8 state: Display Another Proof State |
state S
In proving mode.
This command displays the proof state denoted by label S. If S is not the label of a state in the current proof, the command has no effect.
A double click on proof tree item S also switches the current state to the denoted state (see the command goto).
| | | B.2.8 state: Display Another Proof State |