Liste des fichiers du paquet prover9-doc dans sid pour l'architecture all

/usr/share/doc-base/prover9-doc
/usr/share/doc/prover9-doc/changelog.Debian.gz
/usr/share/doc/prover9-doc/copyright
/usr/share/doc/prover9-doc/examples/2inverter.in
/usr/share/doc/prover9-doc/examples/2inverter.out
/usr/share/doc/prover9-doc/examples/BA-Sheffer.demods
/usr/share/doc/prover9-doc/examples/BA2.in
/usr/share/doc/prover9-doc/examples/BA2.interps
/usr/share/doc/prover9-doc/examples/BA2.interps2
/usr/share/doc/prover9-doc/examples/BA2.interps3
/usr/share/doc/prover9-doc/examples/BA2.interps4
/usr/share/doc/prover9-doc/examples/BA2.interps5
/usr/share/doc/prover9-doc/examples/BA4.in
/usr/share/doc/prover9-doc/examples/BA4.out
/usr/share/doc/prover9-doc/examples/LT-82-2-interp.in
/usr/share/doc/prover9-doc/examples/LT-82-2-interp.out
/usr/share/doc/prover9-doc/examples/LT-82-2.in
/usr/share/doc/prover9-doc/examples/LT-82-2.out
/usr/share/doc/prover9-doc/examples/LT-port.in
/usr/share/doc/prover9-doc/examples/LT-port.out
/usr/share/doc/prover9-doc/examples/LT-port.out2
/usr/share/doc/prover9-doc/examples/MOL-cand.238
/usr/share/doc/prover9-doc/examples/MOL-cand.296
/usr/share/doc/prover9-doc/examples/MOL.in
/usr/share/doc/prover9-doc/examples/MOL.interps
/usr/share/doc/prover9-doc/examples/MOL.interps2
/usr/share/doc/prover9-doc/examples/PUZ031-1.in
/usr/share/doc/prover9-doc/examples/PUZ031-1.out
/usr/share/doc/prover9-doc/examples/PUZ031-1.out2
/usr/share/doc/prover9-doc/examples/PUZ031-1.tptp
/usr/share/doc/prover9-doc/examples/RBA-2.in
/usr/share/doc/prover9-doc/examples/RBA-2.tptp
/usr/share/doc/prover9-doc/examples/RBA-2q.tptp
/usr/share/doc/prover9-doc/examples/andrews.in
/usr/share/doc/prover9-doc/examples/andrews.out
/usr/share/doc/prover9-doc/examples/andrews.out2
/usr/share/doc/prover9-doc/examples/assoc-comm.clauses
/usr/share/doc/prover9-doc/examples/bool-ring.demods
/usr/share/doc/prover9-doc/examples/bool-ring.in
/usr/share/doc/prover9-doc/examples/bool-ring.out
/usr/share/doc/prover9-doc/examples/cabbages.in
/usr/share/doc/prover9-doc/examples/cabbages.out
/usr/share/doc/prover9-doc/examples/easy.hints
/usr/share/doc/prover9-doc/examples/easy.in
/usr/share/doc/prover9-doc/examples/easy.out
/usr/share/doc/prover9-doc/examples/group-terms.in
/usr/share/doc/prover9-doc/examples/group-terms.out
/usr/share/doc/prover9-doc/examples/group.demods
/usr/share/doc/prover9-doc/examples/hard-hints.out
/usr/share/doc/prover9-doc/examples/hard.in
/usr/share/doc/prover9-doc/examples/hard.out
/usr/share/doc/prover9-doc/examples/interp3.dtd
/usr/share/doc/prover9-doc/examples/interp3.xsl
/usr/share/doc/prover9-doc/examples/jugs.in
/usr/share/doc/prover9-doc/examples/jugs.out
/usr/share/doc/prover9-doc/examples/kenken6.in
/usr/share/doc/prover9-doc/examples/kenken6.out
/usr/share/doc/prover9-doc/examples/list.in
/usr/share/doc/prover9-doc/examples/list.out
/usr/share/doc/prover9-doc/examples/non-MOL-OML.interps
/usr/share/doc/prover9-doc/examples/olsax.in
/usr/share/doc/prover9-doc/examples/olsax.out
/usr/share/doc/prover9-doc/examples/port.py
/usr/share/doc/prover9-doc/examples/proof3.dtd
/usr/share/doc/prover9-doc/examples/qg4-ac.interps
/usr/share/doc/prover9-doc/examples/qg4.interps
/usr/share/doc/prover9-doc/examples/queens1.in
/usr/share/doc/prover9-doc/examples/queens1.out
/usr/share/doc/prover9-doc/examples/queens2.in
/usr/share/doc/prover9-doc/examples/queens2.out
/usr/share/doc/prover9-doc/examples/queens3.in
/usr/share/doc/prover9-doc/examples/queens3.out
/usr/share/doc/prover9-doc/examples/redeclare.in
/usr/share/doc/prover9-doc/examples/redeclare.out
/usr/share/doc/prover9-doc/examples/ring41.in
/usr/share/doc/prover9-doc/examples/ring41.out
/usr/share/doc/prover9-doc/examples/send-money.in
/usr/share/doc/prover9-doc/examples/send-money.out
/usr/share/doc/prover9-doc/examples/subset.in
/usr/share/doc/prover9-doc/examples/subset_trans.in
/usr/share/doc/prover9-doc/examples/subset_trans.out
/usr/share/doc/prover9-doc/examples/subset_trans.out2
/usr/share/doc/prover9-doc/examples/subset_trans.out3
/usr/share/doc/prover9-doc/examples/subset_trans.out4
/usr/share/doc/prover9-doc/examples/subset_trans.proof1
/usr/share/doc/prover9-doc/examples/subset_trans.proof2
/usr/share/doc/prover9-doc/examples/subset_trans.proof3
/usr/share/doc/prover9-doc/examples/subset_trans.proof4
/usr/share/doc/prover9-doc/examples/subset_trans.proof5.xml
/usr/share/doc/prover9-doc/examples/subset_trans.proof6
/usr/share/doc/prover9-doc/examples/subset_trans.proof7
/usr/share/doc/prover9-doc/examples/subset_trans.proof8
/usr/share/doc/prover9-doc/examples/subset_trans_expand.in
/usr/share/doc/prover9-doc/examples/subset_trans_expand.out
/usr/share/doc/prover9-doc/examples/trans.in
/usr/share/doc/prover9-doc/examples/uc-18.interps
/usr/share/doc/prover9-doc/examples/uc-hunt.clauses
/usr/share/doc/prover9-doc/examples/uc-hunt.out
/usr/share/doc/prover9-doc/examples/weight_test.in
/usr/share/doc/prover9-doc/examples/weight_test.out
/usr/share/doc/prover9-doc/examples/x2.cooked
/usr/share/doc/prover9-doc/examples/x2.in
/usr/share/doc/prover9-doc/examples/x2.mace4.out
/usr/share/doc/prover9-doc/examples/x2.portable
/usr/share/doc/prover9-doc/examples/x2.prover9.out
/usr/share/doc/prover9-doc/examples/x2.raw
/usr/share/doc/prover9-doc/examples/x2.standard
/usr/share/doc/prover9-doc/examples/x2.standard2
/usr/share/doc/prover9-doc/examples/x2.tabular
/usr/share/doc/prover9-doc/examples/x2.tex
/usr/share/doc/prover9-doc/examples/x2.xml
/usr/share/doc/prover9-doc/examples/zebra2.in
/usr/share/doc/prover9-doc/examples/zebra2.out
/usr/share/doc/prover9-doc/finalbook.pdf.gz
/usr/share/doc/prover9-doc/html/actions.html
/usr/share/doc/prover9-doc/html/advanced.html
/usr/share/doc/prover9-doc/html/attributes.html
/usr/share/doc/prover9-doc/html/auto.html
/usr/share/doc/prover9-doc/html/clause-properties.html
/usr/share/doc/prover9-doc/html/fof-prover9.html
/usr/share/doc/prover9-doc/html/glossary.html
/usr/share/doc/prover9-doc/html/goals.html
/usr/share/doc/prover9-doc/html/hints.html
/usr/share/doc/prover9-doc/html/index.html
/usr/share/doc/prover9-doc/html/inf-rules.html
/usr/share/doc/prover9-doc/html/input.html
/usr/share/doc/prover9-doc/html/install.html
/usr/share/doc/prover9-doc/html/intro.html
/usr/share/doc/prover9-doc/html/limits.html
/usr/share/doc/prover9-doc/html/loop.html
/usr/share/doc/prover9-doc/html/m4-arithmetic.html
/usr/share/doc/prover9-doc/html/m4-input.html
/usr/share/doc/prover9-doc/html/m4-interpformat.html
/usr/share/doc/prover9-doc/html/m4-isofilter.html
/usr/share/doc/prover9-doc/html/m4-options.html
/usr/share/doc/prover9-doc/html/mace4.html
/usr/share/doc/prover9-doc/html/manual.css
/usr/share/doc/prover9-doc/html/more-prep.html
/usr/share/doc/prover9-doc/html/nav.html
/usr/share/doc/prover9-doc/html/options.html
/usr/share/doc/prover9-doc/html/others.html
/usr/share/doc/prover9-doc/html/output.html
/usr/share/doc/prover9-doc/html/process-inf.html
/usr/share/doc/prover9-doc/html/production.html
/usr/share/doc/prover9-doc/html/prooftrans.html
/usr/share/doc/prover9-doc/html/prover9-5a-256t.gif
/usr/share/doc/prover9-doc/html/references.html
/usr/share/doc/prover9-doc/html/running.html
/usr/share/doc/prover9-doc/html/select.html
/usr/share/doc/prover9-doc/html/select2.html
/usr/share/doc/prover9-doc/html/semantics.html
/usr/share/doc/prover9-doc/html/syntax.html
/usr/share/doc/prover9-doc/html/talk-semantics.html
/usr/share/doc/prover9-doc/html/talk-software.html
/usr/share/doc/prover9-doc/html/term-order.html
/usr/share/doc/prover9-doc/html/weight.html
/usr/share/doc/prover9-doc/html/white-black.html