next up previous contents
Next: Logical Style Up: Mark2 Prover Documentation Previous: Places where bugs are

Logical and Programming Style





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