CADiZ

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