Papers are not included with the distribution at the moment.

Please look under "Documentation" on the Proof General home page,
http://zermelo.dcs.ed.ac.uk/~proofgen