modified ProofGeneral