LP, the Larch Prover -- The stop command
The stop command returns control over LP to the user.
<stop-command> ::= stop
Examples
stop
Usage
The stop command causes LP to stop executing commands
from files, thereby enabling the user to enter commands again from the
terminal.