Next:
Theory Structure
Up:
The Nuprl Proof Development
Previous:
Further Information
Theories
Theory Structure
Definitions
Structure
Adding Untyped Definitions
Adding Typed Non-Recursive Definitions
Adding Recursive Definitions
Adding Set Definitions
Notational Abbreviations for ML
Module Types
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996
