Subject: FormalContent

Keywords: ::theory
          ::user

Title: Add new theory to user theory group

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

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

Then use MkTHY* to create new theory. 
⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home