Skip to the next saved command
fw
This command can be used to skip the current saved command.
Given the proof obligation whose saved line is :
Command line : Force(0) & Next Saved line pos 1 Force(0) & ar(test.1,Fwd) & dd & pr
|
We are going to execute the first saved command :
PRI> st Next step: ar(test.1,Fwd)
|
The first saved command will be applied :
Starting Apply Rule Command line : Force(0) & ar(test.1,Fwd) & Next Saved line pos 2
|
Then we can skip the next saved command (dd) by typing fw :
PRI> fw
|
The next command will be pr :
PRI> st Next step pr Starting Prover Call
|
The command line obtained is therefore :
Command line : Force(0) & ar(test.1,Fwd) & pr & Next Saved line pos 3
|