Reference manual
/
Z-related commands
/
Proof management commands
/ node in tree
The
node in tree
command selects the node in the proof tree corresponding to the inspected goal.
IT 11-Oct-1997