Package: proofgeneral