Add proofgeneral.