Subject: FormalContent

Keywords: ::overview
          ::theory

Title: Theories

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

A Theory is a collection of definitions and lemmas. Theories inherit
other theories, cycles are not allowed. The theory tree is used to
indicate which objects can be referenced by later objects. An object
which is in the closure of prerequistes of theory can be referenced
by objects in the theory. An object in a theory which precede others in the 
directory tree of the theory may be referenced by the later objects

A theory must be closed before it can be used as a prerequisite. Only
the objects active at the time the theory is closed are made available.

Use the MkTHY* button to make a new theory.⋅
--------------------------------------------------

Authors: RICH:t

⋅

Home