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.