Subject: FormalContent

Keywords: ::theory
          ::user

Title: Add new theory to user theory group

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

To add new theory to the /theories/user directory, you will want to have 
the Navigator*   pointing at Obid: RE_init_user or Obid: RE_init_user+.
The former inherits only the Standard theories, while the latter
inherits Obid: Standard, Obid: Algebra, and Obid: Standard2.

Then use MkTHY* to create new theory. 

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

Authors: 

Contributors: RICH:t



Home