Next:
Introduction
Up:
Sequents and Proofs
Previous:
Mouse Commands
Proof Compression and Expansion
Introduction
Editing Proof Scripts
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996
