LP, the Larch Prover -- Changes required in old proof scripts


Users must observe the following new syntactic conventions when using Release 3.1 instead of Release 2.4. Users may have to make additional changes in their scripts because LP reacts differently to them in the following ways.