next up previous contents
Next: Proving Theorems Up: Mark2 Prover Documentation Previous: The Hypothesis Facility

The Proof Environment

The first two subsections give a quick summary of proof and application of theorems which is useful in reading the previous section on the tactic langauge.





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