next up previous contents
Next: Components of the Theory Up: Mark2 Prover Documentation Previous: The Module System

The Theory Environment

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





Randall Holmes
Fri Sep 5 16:28:58 MDT 1997