CADiZ

Reference manual / Z-related commands / Proof management commands / prune


The prune command breaks a link between nodes in the proof tree. This causes the previously displayed sub-tree to no longer be regarded as a proof attempt of the goal corresponding to the inspected node. If the pruned proof step is repeated, the whole sub-tree will be re-linked into the proof.


IT 11-Oct-1997