CADiZ

Reference manual / Z-related commands / Proof rule commands


These commands manipulate goals in proofs, typically rearranging antecedents and consequents, or fetching paragraphs from the specification.


IT 30-Mar-2000