Subject: FormalContent

Keywords: ::theory
          ::buttons

Title: MkTHY*

--------------------------------------------------

The MkTHY* button is available in certain contexts in the The Navigator.
Clicking the button will start a dialog to add a theory after the theory
or RE_init object at the Navigator point. The MkTHY* button normally occurs
near the top of the button list. If there is no MkTHY* button then the 
Navigator is not at a suitible location to create a theory.

After confirming dialog, a theory will be created with an initial
RE (Reference Environment) object. This object is not activated by
default. It is expected that you review the object and then (c-z) to save
and activate. Make sure on review that the prereq is as desired.⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home