next up previous contents index
Next: Introduction Up: Sequents and Proofs Previous: Mouse Commands

Proof Compression and Expansion

 





Karla Consroe
Wed Oct 23 13:48:45 EDT 1996