next up previous
Next: Complete justifications Up: Typed logic Previous: Structural rules

Proof expressions and tactics


 
James Wallis
1999-09-17