LP, the Larch Prover — The stop command

The stop command returns control over LP to the user.

Syntax

<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.