The Theory Environment

This section describes the level on which the user interacts with theorems and declarations in a fixed theory.

• Components of the Theory Environment
• The Syntax Lists
• Declarations and Comments
• Special Declarations
• Theorems
• Reaxiomatization and Redefinition