CADiZ

Reference manual / Z-related commands / In situ replacement commands / reveal


The reveal command is applicable to ... (elided formulae) and causes the previously concealed part of a goal to be resurrected.

Tactic example

"reveal" p e

This example applies the reveal command to predicate p and expression e. Its use in tactics typically arises from recording scripts.


IT 3-Jun-1998