About

This package is 946.1 KB. It is available at http://ftp.debian.org/debian/pool/main/p/prover9-manual/prover9-doc_0.0.200902a-1_all.deb .

View its full control file here: debian/control.

Description

documentation for Prover9 and associated programs

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package suggests: prover9, ladr4-apps, python.

This package does not conflict with any other package.

Package Contents

This package is indexed.

prover9-doc 0.0.200902a-1 is in debian - wheezy / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/prover9-doc text/plain root:root 0o644 391 bytes
/usr/share/doc/prover9-doc/ root:root 0o755
/usr/share/doc/prover9-doc/changelog.Debian.gz application/gzip root:root 0o644 718 bytes
/usr/share/doc/prover9-doc/copyright text/plain root:root 0o644 1.2 KB
/usr/share/doc/prover9-doc/examples/ root:root 0o755
/usr/share/doc/prover9-doc/examples/2inverter.in text/plain root:root 0o644 3.0 KB
/usr/share/doc/prover9-doc/examples/2inverter.out text/plain root:root 0o644 1.2 MB
/usr/share/doc/prover9-doc/examples/andrews.in text/plain root:root 0o644 292 bytes
/usr/share/doc/prover9-doc/examples/andrews.out text/plain root:root 0o644 99.2 KB
/usr/share/doc/prover9-doc/examples/andrews.out2 text/plain root:root 0o644 167.3 KB
/usr/share/doc/prover9-doc/examples/assoc-comm.clauses text/plain root:root 0o644 102 bytes
/usr/share/doc/prover9-doc/examples/BA2.in text/plain root:root 0o644 591 bytes
/usr/share/doc/prover9-doc/examples/BA2.interps text/plain root:root 0o644 2.1 KB
/usr/share/doc/prover9-doc/examples/BA2.interps2 text/plain root:root 0o644 603 bytes
/usr/share/doc/prover9-doc/examples/BA2.interps3 text/plain root:root 0o644 282 bytes
/usr/share/doc/prover9-doc/examples/BA2.interps4 text/plain root:root 0o644 325 bytes
/usr/share/doc/prover9-doc/examples/BA2.interps5 text/plain root:root 0o644 325 bytes
/usr/share/doc/prover9-doc/examples/BA4.in text/plain root:root 0o644 183 bytes
/usr/share/doc/prover9-doc/examples/BA4.out text/plain root:root 0o644 438 bytes
/usr/share/doc/prover9-doc/examples/BA-Sheffer.demods text/plain root:root 0o644 336 bytes
/usr/share/doc/prover9-doc/examples/bool-ring.demods text/plain root:root 0o644 537 bytes
/usr/share/doc/prover9-doc/examples/bool-ring.in text/plain root:root 0o644 951 bytes
/usr/share/doc/prover9-doc/examples/bool-ring.out text/plain root:root 0o644 383 bytes
/usr/share/doc/prover9-doc/examples/cabbages.in text/plain root:root 0o644 1.7 KB
/usr/share/doc/prover9-doc/examples/cabbages.out text/plain root:root 0o644 10.3 KB
/usr/share/doc/prover9-doc/examples/easy.hints text/plain root:root 0o644 2.5 KB
/usr/share/doc/prover9-doc/examples/easy.in text/plain root:root 0o644 745 bytes
/usr/share/doc/prover9-doc/examples/easy.out text/plain root:root 0o644 22.4 KB
/usr/share/doc/prover9-doc/examples/group.demods text/plain root:root 0o644 315 bytes
/usr/share/doc/prover9-doc/examples/group-terms.in text/plain root:root 0o644 198 bytes
/usr/share/doc/prover9-doc/examples/group-terms.out text/plain root:root 0o644 90 bytes
/usr/share/doc/prover9-doc/examples/hard-hints.out text/plain root:root 0o644 26.9 KB
/usr/share/doc/prover9-doc/examples/hard.in text/plain root:root 0o644 695 bytes
/usr/share/doc/prover9-doc/examples/hard.out text/plain root:root 0o644 42.9 KB
/usr/share/doc/prover9-doc/examples/interp3.dtd text/xml root:root 0o644 1.3 KB
/usr/share/doc/prover9-doc/examples/interp3.xsl text/xml root:root 0o644 3.7 KB
/usr/share/doc/prover9-doc/examples/jugs.in text/plain root:root 0o644 1.3 KB
/usr/share/doc/prover9-doc/examples/jugs.out text/plain root:root 0o644 7.2 KB
/usr/share/doc/prover9-doc/examples/kenken6.in text/plain root:root 0o644 1.1 KB
/usr/share/doc/prover9-doc/examples/kenken6.out text/plain root:root 0o644 3.2 KB
/usr/share/doc/prover9-doc/examples/list.in text/plain root:root 0o644 2.1 KB
/usr/share/doc/prover9-doc/examples/list.out text/plain root:root 0o644 10.6 KB
/usr/share/doc/prover9-doc/examples/LT-82-2.in text/plain root:root 0o644 865 bytes
/usr/share/doc/prover9-doc/examples/LT-82-2-interp.in text/plain root:root 0o644 502 bytes
/usr/share/doc/prover9-doc/examples/LT-82-2-interp.out text/plain root:root 0o644 4.8 KB
/usr/share/doc/prover9-doc/examples/LT-82-2.out text/plain root:root 0o644 40.8 KB
/usr/share/doc/prover9-doc/examples/LT-port.in text/plain root:root 0o644 1.4 KB
/usr/share/doc/prover9-doc/examples/LT-port.out text/plain root:root 0o644 1.8 KB
/usr/share/doc/prover9-doc/examples/LT-port.out2 text/plain root:root 0o644 975 bytes
/usr/share/doc/prover9-doc/examples/MOL-cand.238 text/plain root:root 0o644 12.2 KB
/usr/share/doc/prover9-doc/examples/MOL-cand.296 text/plain root:root 0o644 15.0 KB
/usr/share/doc/prover9-doc/examples/MOL.in text/plain root:root 0o644 345 bytes
/usr/share/doc/prover9-doc/examples/MOL.interps text/plain root:root 0o644 1.0 KB
/usr/share/doc/prover9-doc/examples/MOL.interps2 text/plain root:root 0o644 435 bytes
/usr/share/doc/prover9-doc/examples/non-MOL-OML.interps text/plain root:root 0o644 13.2 KB
/usr/share/doc/prover9-doc/examples/olsax.in text/plain root:root 0o644 1.5 KB
/usr/share/doc/prover9-doc/examples/olsax.out text/plain root:root 0o644 104.4 KB
/usr/share/doc/prover9-doc/examples/port.py text/x-python root:root 0o755 545 bytes
/usr/share/doc/prover9-doc/examples/proof3.dtd text/xml root:root 0o644 2.0 KB
/usr/share/doc/prover9-doc/examples/PUZ031-1.in text/plain root:root 0o644 2.4 KB
/usr/share/doc/prover9-doc/examples/PUZ031-1.out text/plain root:root 0o644 24.1 KB
/usr/share/doc/prover9-doc/examples/PUZ031-1.out2 text/plain root:root 0o644 24.0 KB
/usr/share/doc/prover9-doc/examples/PUZ031-1.tptp text/plain root:root 0o644 4.5 KB
/usr/share/doc/prover9-doc/examples/qg4-ac.interps text/plain root:root 0o644 520 bytes
/usr/share/doc/prover9-doc/examples/qg4.interps text/plain root:root 0o644 11.3 KB
/usr/share/doc/prover9-doc/examples/queens1.in text/plain root:root 0o644 604 bytes
/usr/share/doc/prover9-doc/examples/queens1.out text/plain root:root 0o644 2.5 KB
/usr/share/doc/prover9-doc/examples/queens2.in text/plain root:root 0o644 593 bytes
/usr/share/doc/prover9-doc/examples/queens2.out text/plain root:root 0o644 3.2 KB
/usr/share/doc/prover9-doc/examples/queens3.in text/plain root:root 0o644 1.5 KB
/usr/share/doc/prover9-doc/examples/queens3.out text/plain root:root 0o644 170.0 KB
/usr/share/doc/prover9-doc/examples/RBA-2.in text/plain root:root 0o644 342 bytes
/usr/share/doc/prover9-doc/examples/RBA-2q.tptp text/plain root:root 0o644 592 bytes
/usr/share/doc/prover9-doc/examples/RBA-2.tptp text/plain root:root 0o644 630 bytes
/usr/share/doc/prover9-doc/examples/redeclare.in text/plain root:root 0o644 1.1 KB
/usr/share/doc/prover9-doc/examples/redeclare.out text/plain root:root 0o644 7.6 KB
/usr/share/doc/prover9-doc/examples/ring41.in text/plain root:root 0o644 1.0 KB
/usr/share/doc/prover9-doc/examples/ring41.out text/plain root:root 0o644 9.4 KB
/usr/share/doc/prover9-doc/examples/send-money.in text/plain root:root 0o644 398 bytes
/usr/share/doc/prover9-doc/examples/send-money.out text/plain root:root 0o644 2.9 KB
/usr/share/doc/prover9-doc/examples/subset.in text/plain root:root 0o644 98 bytes
/usr/share/doc/prover9-doc/examples/subset_trans_expand.in text/plain root:root 0o644 231 bytes
/usr/share/doc/prover9-doc/examples/subset_trans_expand.out text/plain root:root 0o644 5.2 KB
/usr/share/doc/prover9-doc/examples/subset_trans.in text/plain root:root 0o644 193 bytes
/usr/share/doc/prover9-doc/examples/subset_trans.out text/plain root:root 0o644 6.2 KB
/usr/share/doc/prover9-doc/examples/subset_trans.out2 text/plain root:root 0o644 6.2 KB
/usr/share/doc/prover9-doc/examples/subset_trans.out3 text/plain root:root 0o644 6.3 KB
/usr/share/doc/prover9-doc/examples/subset_trans.out4 text/plain root:root 0o644 6.3 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof1 text/plain root:root 0o644 1.4 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof2 text/plain root:root 0o644 1.4 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof3 text/plain root:root 0o644 1.3 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof4 text/plain root:root 0o644 1.5 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof5.xml text/xml root:root 0o644 4.2 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof6 text/plain root:root 0o644 2.0 KB
/usr/share/doc/prover9-doc/examples/subset_trans.proof7 text/plain root:root 0o644 586 bytes
/usr/share/doc/prover9-doc/examples/subset_trans.proof8 text/plain root:root 0o644 815 bytes
/usr/share/doc/prover9-doc/examples/trans.in text/plain root:root 0o644 94 bytes
/usr/share/doc/prover9-doc/examples/uc-18.interps text/plain root:root 0o644 8.8 KB
/usr/share/doc/prover9-doc/examples/uc-hunt.clauses text/plain root:root 0o644 1.1 KB
/usr/share/doc/prover9-doc/examples/uc-hunt.out text/plain root:root 0o644 2.2 KB
/usr/share/doc/prover9-doc/examples/weight_test.in text/plain root:root 0o644 217 bytes
/usr/share/doc/prover9-doc/examples/weight_test.out text/plain root:root 0o644 90 bytes
/usr/share/doc/prover9-doc/examples/x2.cooked text/plain root:root 0o644 575 bytes
/usr/share/doc/prover9-doc/examples/x2.in text/plain root:root 0o644 161 bytes
/usr/share/doc/prover9-doc/examples/x2.mace4.out text/plain root:root 0o644 4.2 KB
/usr/share/doc/prover9-doc/examples/x2.portable text/plain root:root 0o644 513 bytes
/usr/share/doc/prover9-doc/examples/x2.prover9.out text/plain root:root 0o644 4.7 KB
/usr/share/doc/prover9-doc/examples/x2.raw text/plain root:root 0o644 312 bytes
/usr/share/doc/prover9-doc/examples/x2.standard text/plain root:root 0o644 249 bytes
/usr/share/doc/prover9-doc/examples/x2.standard2 text/plain root:root 0o644 303 bytes
/usr/share/doc/prover9-doc/examples/x2.tabular text/plain root:root 0o644 326 bytes
/usr/share/doc/prover9-doc/examples/x2.tex text/x-tex root:root 0o644 536 bytes
/usr/share/doc/prover9-doc/examples/x2.xml text/xml root:root 0o644 1.6 KB
/usr/share/doc/prover9-doc/examples/zebra2.in text/plain root:root 0o644 1.6 KB
/usr/share/doc/prover9-doc/examples/zebra2.out text/plain root:root 0o644 5.0 KB
/usr/share/doc/prover9-doc/finalbook.pdf.gz application/gzip root:root 0o644 615.8 KB
/usr/share/doc/prover9-doc/html/ root:root 0o755
/usr/share/doc/prover9-doc/html/actions.html text/html root:root 0o644 4.7 KB
/usr/share/doc/prover9-doc/html/advanced.html text/html root:root 0o644 878 bytes
/usr/share/doc/prover9-doc/html/attributes.html text/html root:root 0o644 3.8 KB
/usr/share/doc/prover9-doc/html/auto.html text/html root:root 0o644 8.7 KB
/usr/share/doc/prover9-doc/html/clause-properties.html text/html root:root 0o644 3.4 KB
/usr/share/doc/prover9-doc/html/fof-prover9.html text/html root:root 0o644 2.4 KB
/usr/share/doc/prover9-doc/html/glossary.html text/html root:root 0o644 22.7 KB
/usr/share/doc/prover9-doc/html/goals.html text/html root:root 0o644 8.6 KB
/usr/share/doc/prover9-doc/html/hints.html text/html root:root 0o644 9.8 KB
/usr/share/doc/prover9-doc/html/index.html text/html root:root 0o644 200 bytes
/usr/share/doc/prover9-doc/html/inf-rules.html text/html root:root 0o644 20.6 KB
/usr/share/doc/prover9-doc/html/input.html text/html root:root 0o644 7.5 KB
/usr/share/doc/prover9-doc/html/install.html text/html root:root 0o644 1.4 KB
/usr/share/doc/prover9-doc/html/intro.html text/html root:root 0o644 4.0 KB
/usr/share/doc/prover9-doc/html/limits.html text/html root:root 0o644 3.8 KB
/usr/share/doc/prover9-doc/html/loop.html text/html root:root 0o644 2.8 KB
/usr/share/doc/prover9-doc/html/m4-arithmetic.html text/html root:root 0o644 5.3 KB
/usr/share/doc/prover9-doc/html/m4-input.html text/html root:root 0o644 4.4 KB
/usr/share/doc/prover9-doc/html/m4-interpformat.html text/html root:root 0o644 6.6 KB
/usr/share/doc/prover9-doc/html/m4-isofilter.html text/html root:root 0o644 4.1 KB
/usr/share/doc/prover9-doc/html/m4-options.html text/html root:root 0o644 10.8 KB
/usr/share/doc/prover9-doc/html/mace4.html text/html root:root 0o644 3.2 KB
/usr/share/doc/prover9-doc/html/manual.css text/plain root:root 0o644 2.8 KB
/usr/share/doc/prover9-doc/html/more-prep.html text/html root:root 0o644 5.0 KB
/usr/share/doc/prover9-doc/html/nav.html text/html root:root 0o644 2.5 KB
/usr/share/doc/prover9-doc/html/options.html text/html root:root 0o644 22.7 KB
/usr/share/doc/prover9-doc/html/others.html text/html root:root 0o644 7.8 KB
/usr/share/doc/prover9-doc/html/output.html text/html root:root 0o644 14.1 KB
/usr/share/doc/prover9-doc/html/process-inf.html text/html root:root 0o644 16.5 KB
/usr/share/doc/prover9-doc/html/production.html text/html root:root 0o644 13.3 KB
/usr/share/doc/prover9-doc/html/prooftrans.html text/html root:root 0o644 8.5 KB
/usr/share/doc/prover9-doc/html/prover9-5a-256t.gif image/gif root:root 0o644 2.5 KB
/usr/share/doc/prover9-doc/html/references.html text/html root:root 0o644 2.6 KB
/usr/share/doc/prover9-doc/html/running.html text/html root:root 0o644 5.5 KB
/usr/share/doc/prover9-doc/html/select2.html text/html root:root 0o644 7.0 KB
/usr/share/doc/prover9-doc/html/select.html text/html root:root 0o644 11.1 KB
/usr/share/doc/prover9-doc/html/semantics.html text/html root:root 0o644 8.0 KB
/usr/share/doc/prover9-doc/html/syntax.html text/html root:root 0o644 19.7 KB
/usr/share/doc/prover9-doc/html/talk-semantics.html text/html root:root 0o644 1.1 KB
/usr/share/doc/prover9-doc/html/talk-software.html text/html root:root 0o644 955 bytes
/usr/share/doc/prover9-doc/html/term-order.html text/html root:root 0o644 11.4 KB
/usr/share/doc/prover9-doc/html/weight.html text/html root:root 0o644 9.4 KB
/usr/share/doc/prover9-doc/html/white-black.html text/html root:root 0o644 3.0 KB