Next:
Primitive Refinement Rules
Up:
Sequents and Proofs
Previous:
Proof Structure
Refinement Rules
Primitive Refinement Rules
Tactic Rules
Reflection Rules
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996
