ProofGeneral.log ProofGeneral.dvi ProofGeneral.ps ProofGeneral.pdf ProofGeneral.ps.gz ProofGeneral.kys ProofGeneral.aux ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.pg ProofGeneral.toc ProofGeneral.info ProofGeneral.cps ProofGeneral.fns ProofGeneral.vrs ProofGeneral.info-* ProofGeneral.txt ProofGeneral_*.html ProofGeneral_toc.html ProofGeneral_foot.html PG-adapting.log PG-adapting.dvi PG-adapting.ps PG-adapting.pdf PG-adapting.ps.gz PG-adapting.kys PG-adapting.aux PG-adapting.cp PG-adapting.fn PG-adapting.vr PG-adapting.tp PG-adapting.ky PG-adapting.pg PG-adapting.toc PG-adapting.info PG-adapting.cps PG-adapting.fns PG-adapting.vrs PG-adapting.info-* PG-adapting.txt PG-adapting_*.html PG-adapting_toc.html PG-adapting_foot.html ProofGeneralPortrait.eps ProofGeneralPortrait.pdf