Next:
Term Structure of
Up:
The Nuprl Proof Development
Previous:
Editing Proof Scripts
Rule Interpreter
Term Structure of Rules
Semantics of Rule Interpreter
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996
