next up previous contents
Next: General Syntax Up: Mark2 Prover Documentation Previous: Introduction; the Basic Session

The Internal Language





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