LP, the Larch Prover -- The clear command
The
clear command
resets the entire state of LP.
Syntax
<clear-command> ::=
clear
Examples
clear
Usage
The
clear
command causes LP to discard all information except for the values of the global
settings
.