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