next up previous contents
Next: Views and Theorem Export Up: The Desktop Environment Previous: Proof Environment Management

Theory Management

A theory is always associated with the name of a file.

Theories may be saved on the desktop using backuptheory. They may be retrieved using gettheory. The current theory may be cleared using clear and all theories may be cleared using cleartheories. load and gettheory automatically invoke backuptheory, unless one is using gettheory to retrieve the backup of the current theory.

A theory saved on the desktop is saved with all associated proof environments.

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