Papers are not included with the distribution at the moment.

Please look under "Documentation" on the Proof General home page,
http://www.proofgeneral.org
