|
The Options menu is in the main menu bar and contains some miscellaneous program actions. The items in the menu are listed below:
|
Add to Signature |
Adds a predicate, a constant or a function to the signature.
|
|
|
Check Proof |
Checks whether there are syntactical errors in the givens or conclusion
before starting the proof.
|
|
|
Start Proof |
Starts the proof provided there are no syntactical errors in the givens or conclusion.
Note: The givens can be empty but there must be a conclusion.
|
|
