CADiZ

Reference manual / Z-related commands / Browsing commands / environment


The environment command offers a menu of the left-hand sides of declarations that may be referenced by the selected formula. It is applicable to any axiomatic, free type or conjecture paragraph, and to any predicate, expression or schema text within such a paragraph. If a choice is made from the menu, the corresponding declaration is selected.

The menu of left-hand sides has a special extra item at its top called by section. When that is chosen, a further menu is displayed listing all of the ancestral sections of the section containing the selection. When one of those is chosen, a menu of the left-hand sides of declarations originating in the chosen section is offered, and when one of those is chosen, the corresponding declaration is selected. The section containing the selection appears at the top of the by section menu, which when chosen lists those of its declarations that are in scope, i.e. those of earlier paragraphs and relevant local declarations.


IT 29-Jan-1999