Appendix: Reference for Individual Commands

All arguments of commands must be enclosed in double quotes (except for certain integer arguments); commands without arguments must be supplied with the dummy argument (). All command lines end with a semicolon. Double quotes and () will not be shown in the individual command references.

• Interfaces
• Theory Loading and Saving Commands
• Environment Starting and other Modification Commands
• Environment Display Commands
• Display Control Commands
• Movement Commands
• Declaration Commands
• Theorem Display Commands
• Proof Commands
• Editing Commands
• Definition Commands
• Rule Introduction Commands
• Assignment Commands
• Tactic Language Interpreter
• Theory Desktop Commands
• Environment Desktop Commands
• View Management Commands
• Theorem Export Commands
• Command Abbreviations