CADiZ

Reference manual / Z-related commands / Proof management commands / proof tree


The proof tree command causes the tree of the current proof attempt of a conjecture to be drawn in the proof tree window. It is applicable to conjectures in the specification. It is also applicable to any formula in a printed proof document, in which case it causes the most recent proof tree to be redrawn.


IT 11-Oct-1997