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