LP, the Larch Prover -- Assigning and using names


See