next up previous contents
Next: Environment Desktop Commands Up: Appendix: Reference for Individual Previous: Tactic Language Interpreter

Theory Desktop Commands

Allows one to scan the theories on the desktop; hit ``h'' in any ``scan'' command to see the local commands to move from item to item or to quit.

Erases all theories on the desktop.

``droptheory theory'' drops theory ``theory'' from the desktop.

``gettheory theory'' loads the theory ``theory'' from the desktop (resetting the ``current theory'' environment variable). It automatically backs up the current theory unless the current theory is the one being loaded.

Saves current theory on desktop.

Randall Holmes
Fri Sep 5 16:28:58 MDT 1997