Next:
Display Form Definitions
Up:
The Nuprl Proof Development
Previous:
Abstractions
Display
Display Form Definitions
Top Level Structure
Formats
Slots
Attributes
Right-hand-side terms
Whitespace
Margin Control
Line Breaking
Optional Spaces
Parenthesization
Precedence Objects
Parenthesis Selection
Iteration
Examples
The Layout Algorithm
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996
