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.