Subject: FormalContent

Keywords: ::directory
          ::theory

Title: Theory Group

--------------------------------------------------
A theory group is just an organizational tool to group related
theories. Some tools to rely on this organization, but the proof system
does not. 

Most often used for regression tests and reporting stats.

In practice there is a list of theory groups and all theories
are in a group. The implementation allows for a tree of theory groups
rather than a list.  ⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home