MOVE* : MEXPRMOVE* is a top-level command.
Move all proof lines in given range to begin at new start
number, but preserving the relative distances between the lines.
The command format for MOVE* is:
<n>MOVE* RANGE-TO-MOVE NEW-START
The arguments have the following meaning:
RANGE-TO-MOVE : range to move
NEW-START : new start of range
TPS documentation homepage