CADiZ

Reference manual / Z-related commands / In situ

replacement commands

These commands replace selected Z formulae by equivalent Z formulae. They are frequently used in proofs, but are equally applicable in all paragraphs, not just goals.


IT 22-Nov-2001