**start**- ``start term'' sets both sides of current equation to
``term'' and dependencies to null. It backs up the previous
environment onto the desktop and sets the ``current theorem''
environnment variable to the null string (walk command ``s'').
**startfor**- ``startfor thm term'' acts as ``start'', except that
it sets the ``current theorem'' variable to ``thm''.
**starthere**- ``starthere'' backs up the environment, then sets
both sides of the current equation to the current whole term and
dependencies to null.
**startover**- ``startover'' backs up the environment, wipes
dependencies, and sets both sides of the current equation to its
left side (usually the term one started with). (walk command ``B'').
**workback**- ``workback'' interchanges the left and right sides of
the current equation (so one will be looking at the original term
entered) (walk command ``b'').
**getleftside**- see editing commands
**getrightside**- see editing commands
**autoedit**- see editing commands

Fri Sep 5 16:28:58 MDT 1997