Edit Menu:

Undo Command

Use the Undo command to undo the last change you made to the proof. When there is a change that can be undone, the Undo command will specify what change it will undo. After you give the Undo command, the command in the menu will change to Redo, and you can use it to redo the change that was undone.