LP, the Larch Prover -- Notational conventions


See: