Apply Menu

The Apply menu can be found on the right of the Edit Menu in the main menu bar and contains all the rules you can apply to a proof in Pandora. The items in the menu are listed below:

	Introduction Rules	A sub menu containing all the introduction rules see Rules
	Elimination Rules	A sub menu containing all the elimination rules see Rules
	Other Rules	A sub menu containing all the rules that are neither introduction or elimation rules (e.g. Tick) see Rules
	Add Comment	Add a comment line to the current proof after the currently selected line

Note: If you haven't yet specified a conclusion for the current proof then you cannot apply rules on it and as a result all the rule menu items will be disabled