Resetting all the commands of the command line
re
This command allows the resetting of all the commands on the command line, for the current proof obligation.
Given the proof obligation which has the following command line:
Force(0) & ah(uu: ENS => (uu = e5 => tt = e1)) & pr & dd & dd & Next
|
The command re
PRI> re Resetting PO
|
allows the re-initialisation of the command line. The command line is taken back to its starting point.
Force(0) & Next
|