ProofGeneral.log
ProofGeneral.dvi
ProofGeneral.ps
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           
NewDoc.log
NewDoc.dvi
NewDoc.aux
NewDoc.cp
NewDoc.fn
NewDoc.vr
NewDoc.tp
NewDoc.ky
NewDoc.pg
NewDoc.toc
NewDoc.info
NewDoc.cps
NewDoc.fns
NewDoc.vrs
NewDoc.ps
NewDoc.kys