4.41 Reset PO

Resetting all the commands of the command line

Syntax

  re

Use

This command allows the resetting of all the commands on the command line, for the current proof obligation.

Example

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