next up previous contents index
Next: Proofs Up: No Title Previous: Existing Tactics

Building Theories

This   chapter is addressed primarily to those who plan to use Nuprl to build a nontrivial collection of theorems. In it we discuss working with proofs, structuring knowledge in a theory, representing common concepts in the Nuprl logic, and dealing with certain recurring problems.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995