LP, the Larch Prover -- New features in Release 3.1


The following features have been added to LP since Release 2.4. The following features behave differently in Release 3.1 than they did in Release 2.4.