Edit Menu:

Revise Problem Command

Use the Revise Problem command to change the hypotheses or conclusion of the theorem you are proving. When you give this command, a dialog box will open showing the hypotheses and conclusion of the theorem. You can add or remove hypotheses or change the conclusion. When you click OK, a new window will open and you can begin working on the proof of the revised theorem.