Next: Sequents and Proofs
Up: Display
Previous: Examples
Describe layout algorithm. and selection of dfs.
- How term matching options affect selection.
- How whitespace considerations affect selection (if at all...).
- Display form iteration
Karla Consroe
Wed Oct 23 13:48:45 EDT 1996