Content of RPM prover9-doc-200805a-6.fc12.x86_64.rpm :
/usr/share/doc/prover9-doc-200805a
/usr/share/doc/prover9-doc-200805a/actions.html
/usr/share/doc/prover9-doc-200805a/advanced.html
/usr/share/doc/prover9-doc-200805a/attributes.html
/usr/share/doc/prover9-doc-200805a/auto.html
/usr/share/doc/prover9-doc-200805a/clause-properties.html
/usr/share/doc/prover9-doc-200805a/fof-prover9.html
/usr/share/doc/prover9-doc-200805a/glossary.html
/usr/share/doc/prover9-doc-200805a/goals.html
/usr/share/doc/prover9-doc-200805a/hints.html
/usr/share/doc/prover9-doc-200805a/index.html
/usr/share/doc/prover9-doc-200805a/inf-rules.html
/usr/share/doc/prover9-doc-200805a/input.html
/usr/share/doc/prover9-doc-200805a/install.html
/usr/share/doc/prover9-doc-200805a/intro.html
/usr/share/doc/prover9-doc-200805a/limits.html
/usr/share/doc/prover9-doc-200805a/loop.html
/usr/share/doc/prover9-doc-200805a/m4-input.html
/usr/share/doc/prover9-doc-200805a/m4-interpformat.html
/usr/share/doc/prover9-doc-200805a/m4-isofilter.html
/usr/share/doc/prover9-doc-200805a/m4-options.html
/usr/share/doc/prover9-doc-200805a/mace4.html
/usr/share/doc/prover9-doc-200805a/manual.css
/usr/share/doc/prover9-doc-200805a/more-prep.html
/usr/share/doc/prover9-doc-200805a/nav.html
/usr/share/doc/prover9-doc-200805a/options.html
/usr/share/doc/prover9-doc-200805a/others.html
/usr/share/doc/prover9-doc-200805a/output.html
/usr/share/doc/prover9-doc-200805a/process-inf.html
/usr/share/doc/prover9-doc-200805a/prooftrans.html
/usr/share/doc/prover9-doc-200805a/prover9-5a-256t.gif
/usr/share/doc/prover9-doc-200805a/references.html
/usr/share/doc/prover9-doc-200805a/running.html
/usr/share/doc/prover9-doc-200805a/select.html
/usr/share/doc/prover9-doc-200805a/select2.html
/usr/share/doc/prover9-doc-200805a/semantics.html
/usr/share/doc/prover9-doc-200805a/syntax.html
/usr/share/doc/prover9-doc-200805a/talk-semantics.html
/usr/share/doc/prover9-doc-200805a/talk-software.html
/usr/share/doc/prover9-doc-200805a/term-order.html
/usr/share/doc/prover9-doc-200805a/weight.html
/usr/share/doc/prover9-doc-200805a/white-black.html