Next: Display Control Commands
Up: Appendix: Reference for Individual
Previous: Environment Starting and other
- View the whole term (above) and the current subterm
(below) (walk command ``?'').
- View the left side of the current equation.
- View the current subterm alone.
- ``lookhyp integer'' displays the hypothesis indexed by
``integer''; see the discussion of the hypothesis function of the
- Displays all hypotheses.
- See the dependencies of the theorem under construction.
(walk command ``j'').
Fri Sep 5 16:28:58 MDT 1997