data/prover9-manual-0.0.200902a/actions.html:                      HTML document, ASCII text
data/prover9-manual-0.0.200902a/andrews.in:                        ASCII text
data/prover9-manual-0.0.200902a/andrews.out:                       ASCII text, with very long lines
data/prover9-manual-0.0.200902a/andrews.out2:                      ASCII text
data/prover9-manual-0.0.200902a/attributes.html:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/auto.html:                         HTML document, ASCII text
data/prover9-manual-0.0.200902a/setup_book:                        Perl script text executable
data/prover9-manual-0.0.200902a/BA-Sheffer.demods:                 ASCII text
data/prover9-manual-0.0.200902a/BA2.in:                            ASCII text
data/prover9-manual-0.0.200902a/subset_trans.out:                  ASCII text
data/prover9-manual-0.0.200902a/subset_trans.out2:                 ASCII text
data/prover9-manual-0.0.200902a/subset_trans.out3:                 ASCII text
data/prover9-manual-0.0.200902a/LT-82-2.out:                       ASCII text
data/prover9-manual-0.0.200902a/BA4.in:                            ASCII text
data/prover9-manual-0.0.200902a/hard.out:                          ASCII text
data/prover9-manual-0.0.200902a/bool-ring.demods:                  ASCII text
data/prover9-manual-0.0.200902a/bool-ring.in:                      ASCII text
data/prover9-manual-0.0.200902a/temp:                              ASCII text
data/prover9-manual-0.0.200902a/go:                                C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/dependencies:                      CSV text
data/prover9-manual-0.0.200902a/olsax.out:                         ASCII text
data/prover9-manual-0.0.200902a/easy.in:                           ASCII text
data/prover9-manual-0.0.200902a/easy.out:                          ASCII text
data/prover9-manual-0.0.200902a/flag:                              exported SGML document, ASCII text
data/prover9-manual-0.0.200902a/fof-prover9.html:                  HTML document, ASCII text
data/prover9-manual-0.0.200902a/glossary.html:                     HTML document, ASCII text
data/prover9-manual-0.0.200902a/err:                               ASCII text
data/prover9-manual-0.0.200902a/go.options:                        C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/go.outputs:                        ASCII text
data/prover9-manual-0.0.200902a/goals.html:                        HTML document, ASCII text
data/prover9-manual-0.0.200902a/group-terms.in:                    ASCII text
data/prover9-manual-0.0.200902a/weight_test.out:                   ASCII text
data/prover9-manual-0.0.200902a/group.demods:                      ASCII text
data/prover9-manual-0.0.200902a/x2.prover9.out:                    ASCII text
data/prover9-manual-0.0.200902a/hard.in:                           ASCII text
data/prover9-manual-0.0.200902a/x2.raw:                            ASCII text
data/prover9-manual-0.0.200902a/hints.html:                        HTML document, ASCII text
data/prover9-manual-0.0.200902a/README.util:                       ASCII text
data/prover9-manual-0.0.200902a/index.html:                        HTML document, ASCII text
data/prover9-manual-0.0.200902a/inf-rules.html:                    HTML document, ASCII text
data/prover9-manual-0.0.200902a/input.html:                        HTML document, ASCII text
data/prover9-manual-0.0.200902a/options.html:                      HTML document, ASCII text
data/prover9-manual-0.0.200902a/install.html:                      HTML document, ASCII text
data/prover9-manual-0.0.200902a/interp3.dtd:                       XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/interp3.xsl:                       XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/intro.html:                        HTML document, ASCII text
data/prover9-manual-0.0.200902a/JA.in:                             ASCII text
data/prover9-manual-0.0.200902a/limits.html:                       HTML document, ASCII text
data/prover9-manual-0.0.200902a/loop.html:                         HTML document, ASCII text
data/prover9-manual-0.0.200902a/mace4.html:                        HTML document, ASCII text
data/prover9-manual-0.0.200902a/LT-82-2-interp.in:                 ASCII text
data/prover9-manual-0.0.200902a/subset_trans.out4:                 ASCII text
data/prover9-manual-0.0.200902a/LT-82-2-x.in:                      ASCII text
data/prover9-manual-0.0.200902a/LT-82-2.in:                        ASCII text
data/prover9-manual-0.0.200902a/easy.hints:                        ASCII text
data/prover9-manual-0.0.200902a/m4-input.html:                     HTML document, ASCII text
data/prover9-manual-0.0.200902a/m4-interpformat.html:              HTML document, ASCII text
data/prover9-manual-0.0.200902a/m4-isofilter.html:                 HTML document, ASCII text
data/prover9-manual-0.0.200902a/m4-options.html:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/nav.html:                          HTML document, ASCII text
data/prover9-manual-0.0.200902a/manual.css:                        ASCII text
data/prover9-manual-0.0.200902a/redeclare.out:                     ASCII text
data/prover9-manual-0.0.200902a/MOL-cand.296:                      CSV text
data/prover9-manual-0.0.200902a/MOL.in:                            ASCII text
data/prover9-manual-0.0.200902a/subset_trans_expand.out:           ASCII text
data/prover9-manual-0.0.200902a/more-prep.html:                    HTML document, ASCII text
data/prover9-manual-0.0.200902a/others.html:                       HTML document, ASCII text
data/prover9-manual-0.0.200902a/output.html:                       HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/actions.html:       HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/attributes.html:    HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/auto.html:          HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/fof-reduction.html: HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/glossary.html:      HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/goals.html:         HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/hints.html:         HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/index.html:         HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/inf-rules.html:     HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/input.html:         HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/install.html:       HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/limits.html:        HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/loop.html:          HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/mace4.html:         HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/manual-index.html:  HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/manual.css:         ASCII text
data/prover9-manual-0.0.200902a/navbar-version/more-prep.html:     HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/options.html:       HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/output.html:        HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/process-inf.html:   HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/prooftrans.html:    HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/references.html:    HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/running.html:       HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/sed.navbar:         HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/select.html:        HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/semantics.html:     HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/syntax.html:        HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/term-order.html:    HTML document, ASCII text
data/prover9-manual-0.0.200902a/navbar-version/weight.html:        HTML document, ASCII text
data/prover9-manual-0.0.200902a/non-MOL-OML.interps:               ASCII text, with very long lines
data/prover9-manual-0.0.200902a/olsax.in:                          ASCII text
data/prover9-manual-0.0.200902a/x2.mace4.out:                      ASCII text
data/prover9-manual-0.0.200902a/options:                           ASCII text
data/prover9-manual-0.0.200902a/process-inf.html:                  HTML document, ASCII text
data/prover9-manual-0.0.200902a/x2.xml:                            XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/otter_diff:                        ASCII text
data/prover9-manual-0.0.200902a/running.html:                      HTML document, ASCII text
data/prover9-manual-0.0.200902a/parm:                              exported SGML document, ASCII text
data/prover9-manual-0.0.200902a/prooftrans.html:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/x2.tex:                            LaTeX document, ASCII text
data/prover9-manual-0.0.200902a/non-MOL-OML2.interps:              ASCII text, with very long lines
data/prover9-manual-0.0.200902a/proof3.dtd:                        XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/proof3.dtd.0:                      XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/proof3.xsl:                        XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/proof3.xsl.0:                      XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/references.html:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/hard-hints.out:                    ASCII text
data/prover9-manual-0.0.200902a/LT-82-2-interp.out:                ASCII text
data/prover9-manual-0.0.200902a/ring41.out:                        ASCII text
data/prover9-manual-0.0.200902a/RBA-2.in:                          ASCII text
data/prover9-manual-0.0.200902a/BA4.out:                           ASCII text
data/prover9-manual-0.0.200902a/README.run:                        ASCII text
data/prover9-manual-0.0.200902a/select.html:                       HTML document, ASCII text
data/prover9-manual-0.0.200902a/references/prepare-refs:           ASCII text
data/prover9-manual-0.0.200902a/references/README:                 ASCII text
data/prover9-manual-0.0.200902a/references/references-ready.tex:   LaTeX document, ASCII text
data/prover9-manual-0.0.200902a/references/references.tex:         LaTeX document, ASCII text
data/prover9-manual-0.0.200902a/references/sed.cite:               ASCII text
data/prover9-manual-0.0.200902a/references/sed.www-pubs:           LaTeX document, ASCII text
data/prover9-manual-0.0.200902a/references/temp:                   ASCII text
data/prover9-manual-0.0.200902a/references/www-pubs:               C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/semantics.html:                    HTML document, ASCII text
data/prover9-manual-0.0.200902a/references.tex:                    LaTeX document, ASCII text
data/prover9-manual-0.0.200902a/ring41.in:                         ASCII text
data/prover9-manual-0.0.200902a/x2.standard:                       ASCII text
data/prover9-manual-0.0.200902a/run-and-check:                     C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/sed.glossary:                      HTML document, ASCII text
data/prover9-manual-0.0.200902a/sed.int:                           ASCII text
data/prover9-manual-0.0.200902a/sed.option-refs:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/sed.options-code:                  ASCII text
data/prover9-manual-0.0.200902a/sed.version:                       ASCII text
data/prover9-manual-0.0.200902a/sed1:                              ASCII text
data/prover9-manual-0.0.200902a/talk-semantics.html:               HTML document, ASCII text
data/prover9-manual-0.0.200902a/talk-software.html:                HTML document, ASCII text
data/prover9-manual-0.0.200902a/stringparm:                        exported SGML document, ASCII text
data/prover9-manual-0.0.200902a/subset.in:                         ASCII text
data/prover9-manual-0.0.200902a/subset_trans.in:                   ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof1:               ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof2:               ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof3:               ASCII text
data/prover9-manual-0.0.200902a/x2.standard2:                      ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof:                ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof4:               ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof5.xml:           XML 1.0 document, ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof6:               ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof7:               ASCII text
data/prover9-manual-0.0.200902a/subset_trans.proof8:               ASCII text
data/prover9-manual-0.0.200902a/x2.portable:                       JSON data
data/prover9-manual-0.0.200902a/x2.tabular:                        ASCII text
data/prover9-manual-0.0.200902a/x2.cooked:                         ASCII text
data/prover9-manual-0.0.200902a/term-order.html:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/weight.html:                       HTML document, ASCII text
data/prover9-manual-0.0.200902a/LT-port.out:                       JSON data
data/prover9-manual-0.0.200902a/MOL-cand.238:                      CSV text
data/prover9-manual-0.0.200902a/glo.temp:                          ASCII text
data/prover9-manual-0.0.200902a/TODO:                              ASCII text
data/prover9-manual-0.0.200902a/template.glossary:                 exported SGML document, ASCII text
data/prover9-manual-0.0.200902a/template.reference:                HTML document, ASCII text
data/prover9-manual-0.0.200902a/qg4.interps:                       ASCII text
data/prover9-manual-0.0.200902a/uc-hunt.out:                       ASCII text
data/prover9-manual-0.0.200902a/BA2.interps:                       ASCII text
data/prover9-manual-0.0.200902a/trans.in:                          ASCII text
data/prover9-manual-0.0.200902a/uc-18.interps:                     ASCII text
data/prover9-manual-0.0.200902a/uc-hunt.clauses:                   ASCII text
data/prover9-manual-0.0.200902a/BA2.interps2:                      ASCII text
data/prover9-manual-0.0.200902a/util/glossary.py:                  Python script, ASCII text executable
data/prover9-manual-0.0.200902a/util/opt4.py:                      Python script, ASCII text executable
data/prover9-manual-0.0.200902a/util/options-make:                 C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/util/prepare-refs:                 ASCII text
data/prover9-manual-0.0.200902a/util/sed.cite:                     ASCII text
data/prover9-manual-0.0.200902a/util/sed.www-pubs:                 LaTeX document, ASCII text
data/prover9-manual-0.0.200902a/util/www-pubs:                     C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/qg4-ac.interps:                    ASCII text
data/prover9-manual-0.0.200902a/BA2.interps3:                      ASCII text
data/prover9-manual-0.0.200902a/MOL.interps:                       ASCII text
data/prover9-manual-0.0.200902a/weight_test.in:                    ASCII text
data/prover9-manual-0.0.200902a/MOL.interps2:                      ASCII text
data/prover9-manual-0.0.200902a/BA2.interps4:                      ASCII text
data/prover9-manual-0.0.200902a/x2.in:                             ASCII text
data/prover9-manual-0.0.200902a/BA2.interps5:                      ASCII text
data/prover9-manual-0.0.200902a/group-terms.out:                   ASCII text
data/prover9-manual-0.0.200902a/bool-ring.out:                     ASCII text
data/prover9-manual-0.0.200902a/PUZ031-1.in:                       ASCII text
data/prover9-manual-0.0.200902a/PUZ031-1.out:                      ASCII text
data/prover9-manual-0.0.200902a/PUZ031-1.out2:                     ASCII text
data/prover9-manual-0.0.200902a/RBA-2.tptp:                        ASCII text
data/prover9-manual-0.0.200902a/RBA-2q.tptp:                       ASCII text
data/prover9-manual-0.0.200902a/assoc-comm.clauses:                ASCII text
data/prover9-manual-0.0.200902a/outs:                              ASCII text, with very long lines
data/prover9-manual-0.0.200902a/redeclare.in:                      ASCII text
data/prover9-manual-0.0.200902a/make_book:                         ASCII text
data/prover9-manual-0.0.200902a/subset_trans_expand.in:            ASCII text
data/prover9-manual-0.0.200902a/finalbook.pdf:                     PDF document, version 1.4
data/prover9-manual-0.0.200902a/PUZ031-1.tptp:                     ASCII text
data/prover9-manual-0.0.200902a/select2.html:                      HTML document, ASCII text
data/prover9-manual-0.0.200902a/queens1.out:                       ASCII text
data/prover9-manual-0.0.200902a/queens2.out:                       ASCII text
data/prover9-manual-0.0.200902a/advanced.html:                     HTML document, ASCII text
data/prover9-manual-0.0.200902a/kenken6.out:                       ASCII text
data/prover9-manual-0.0.200902a/list.out:                          ASCII text
data/prover9-manual-0.0.200902a/ubset_trans.proof2:                ASCII text
data/prover9-manual-0.0.200902a/clause-properties.html:            HTML document, ASCII text
data/prover9-manual-0.0.200902a/zebra2.out:                        ASCII text
data/prover9-manual-0.0.200902a/portable.in:                       ASCII text
data/prover9-manual-0.0.200902a/send-money.out:                    ASCII text
data/prover9-manual-0.0.200902a/m4-arithmetic.html:                HTML document, ASCII text
data/prover9-manual-0.0.200902a/kenken6.in:                        ASCII text
data/prover9-manual-0.0.200902a/LT-port.out2:                      ASCII text
data/prover9-manual-0.0.200902a/queens1.in:                        ASCII text
data/prover9-manual-0.0.200902a/port.py:                           Python script, ASCII text executable
data/prover9-manual-0.0.200902a/queens2.in:                        ASCII text
data/prover9-manual-0.0.200902a/send-money.in:                     ASCII text
data/prover9-manual-0.0.200902a/LT-port.in:                        ASCII text
data/prover9-manual-0.0.200902a/zebra2.in:                         ASCII text
data/prover9-manual-0.0.200902a/jugs.in:                           ASCII text
data/prover9-manual-0.0.200902a/queens3.out:                       ASCII text
data/prover9-manual-0.0.200902a/prover9-5a-256t.gif:               GIF image data, version 89a, 256 x 88
data/prover9-manual-0.0.200902a/list.in:                           ASCII text
data/prover9-manual-0.0.200902a/cabbages.in:                       ASCII text
data/prover9-manual-0.0.200902a/cabbages.out:                      ASCII text
data/prover9-manual-0.0.200902a/sed3:                              HTML document, ASCII text
data/prover9-manual-0.0.200902a/queens3.in:                        ASCII text
data/prover9-manual-0.0.200902a/jugs.out:                          ASCII text
data/prover9-manual-0.0.200902a/2inverter.out:                     ASCII text
data/prover9-manual-0.0.200902a/production.html:                   HTML document, ASCII text
data/prover9-manual-0.0.200902a/go-part:                           C shell script, ASCII text executable
data/prover9-manual-0.0.200902a/2inverter.in:                      ASCII text
data/prover9-manual-0.0.200902a/sed.glossary-color:                ASCII text
data/prover9-manual-0.0.200902a/white-black.html:                  HTML document, ASCII text
data/prover9-manual-0.0.200902a/debian/examples:                   ASCII text
data/prover9-manual-0.0.200902a/debian/dirs:                       ASCII text
data/prover9-manual-0.0.200902a/debian/build-eg-list:              POSIX shell script, ASCII text executable
data/prover9-manual-0.0.200902a/debian/install:                    ASCII text
data/prover9-manual-0.0.200902a/debian/watch:                      ASCII text
data/prover9-manual-0.0.200902a/debian/rules:                      a /usr/bin/make -f script, ASCII text executable
data/prover9-manual-0.0.200902a/debian/changelog:                  ASCII text
data/prover9-manual-0.0.200902a/debian/patches/series:             ASCII text
data/prover9-manual-0.0.200902a/debian/patches/01-entities.patch:  unified diff output, ASCII text
data/prover9-manual-0.0.200902a/debian/docs:                       ASCII text
data/prover9-manual-0.0.200902a/debian/source/format:              ASCII text
data/prover9-manual-0.0.200902a/debian/doc-base:                   ASCII text
data/prover9-manual-0.0.200902a/debian/compat:                     ASCII text
data/prover9-manual-0.0.200902a/debian/copyright:                  ASCII text
data/prover9-manual-0.0.200902a/debian/control:                    ASCII text
data/prover9-manual-0.0.200902a/.pc/.version:                      ASCII text
data/prover9-manual-0.0.200902a/.pc/.quilt_patches:                ASCII text
data/prover9-manual-0.0.200902a/.pc/.quilt_series:                 ASCII text
data/prover9-manual-0.0.200902a/.pc/applied-patches:               ASCII text
data/prover9-manual-0.0.200902a/.pc/01-entities.patch/syntax.html: HTML document, ASCII text
data/prover9-manual-0.0.200902a/syntax.html:                       HTML document, ASCII text