Content of RPM prover9-apps-200805a-6.fc12.i686.rpm :
/usr/bin/prover9-attack
/usr/bin/prover9-autosketches4
/usr/bin/prover9-clausefilter
/usr/bin/prover9-clausetester
/usr/bin/prover9-directproof
/usr/bin/prover9-dprofiles
/usr/bin/prover9-fof-prover9
/usr/bin/prover9-get_givens
/usr/bin/prover9-get_interps
/usr/bin/prover9-get_kept
/usr/bin/prover9-gvizify
/usr/bin/prover9-idfilter
/usr/bin/prover9-interpfilter
/usr/bin/prover9-ladr_to_tptp
/usr/bin/prover9-latfilter
/usr/bin/prover9-looper
/usr/bin/prover9-miniscope
/usr/bin/prover9-mirror-flip
/usr/bin/prover9-newauto
/usr/bin/prover9-newsax
/usr/bin/prover9-olfilter
/usr/bin/prover9-perm3
/usr/bin/prover9-renamer
/usr/bin/prover9-rewriter
/usr/bin/prover9-sigtest
/usr/bin/prover9-tptp_to_ladr
/usr/bin/prover9-unfast
/usr/bin/prover9-upper-covers
/usr/share/doc/prover9-apps-200805a
/usr/share/doc/prover9-apps-200805a/README.directproof
/usr/share/doc/prover9-apps-200805a/apps.examples
/usr/share/doc/prover9-apps-200805a/apps.examples/BA-sheffer
/usr/share/doc/prover9-apps-200805a/apps.examples/MOL-cand.296
/usr/share/doc/prover9-apps-200805a/apps.examples/Makefile
/usr/share/doc/prover9-apps-200805a/apps.examples/OL.in
/usr/share/doc/prover9-apps-200805a/apps.examples/README
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/BA-sheffer.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/MOL-cand.238
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.6
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.8
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.8.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.8.upper-covers
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/lattice-sax.rewritten
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/meet-join-equations.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/mjc01s-equations.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/qg.iso3
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/qg.out3
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/BA-sheffer.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/MOL-cand.238
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.6
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.8
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.8.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.8.upper-covers
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/lattice-sax.rewritten
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/meet-join-equations.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/mjc01s-equations.out
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/qg.iso3
/usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/qg.out3
/usr/share/doc/prover9-apps-200805a/apps.examples/distributivity
/usr/share/doc/prover9-apps-200805a/apps.examples/err
/usr/share/doc/prover9-apps-200805a/apps.examples/index.html
/usr/share/doc/prover9-apps-200805a/apps.examples/interp.OL6
/usr/share/doc/prover9-apps-200805a/apps.examples/lattice-sax
/usr/share/doc/prover9-apps-200805a/apps.examples/lattice-sax.id-check
/usr/share/doc/prover9-apps-200805a/apps.examples/lattice.rules
/usr/share/doc/prover9-apps-200805a/apps.examples/meet-join-equations
/usr/share/doc/prover9-apps-200805a/apps.examples/mjc01s-equations
/usr/share/doc/prover9-apps-200805a/apps.examples/non-MOL-OML
/usr/share/doc/prover9-apps-200805a/apps.examples/qg.in
/usr/share/doc/prover9-apps-200805a/apps.examples/run-all
/usr/share/doc/prover9-apps-200805a/apps.examples/sed1
/usr/share/man/man1/prover9-apps.1.gz
/usr/share/man/man1/prover9-clausefilter.1.gz
/usr/share/man/man1/prover9-clausetester.1.gz
/usr/share/man/man1/prover9-interpfilter.1.gz
/usr/share/man/man1/prover9-rewriter.1.gz
467024