data/spass-3.9/LICENCE:                        ASCII text, with very long lines
data/spass-3.9/analyze.c:                      C source, ASCII text
data/spass-3.9/analyze.h:                      C source, ASCII text
data/spass-3.9/approx.c:                       C source, ASCII text
data/spass-3.9/approx.h:                       C source, ASCII text
data/spass-3.9/array.c:                        C source, ASCII text
data/spass-3.9/array.h:                        C source, ASCII text
data/spass-3.9/cl.h:                           C source, ASCII text
data/spass-3.9/clause.c:                       C source, ASCII text
data/spass-3.9/clause.h:                       C source, ASCII text
data/spass-3.9/clock.c:                        C source, ASCII text
data/spass-3.9/clock.h:                        C source, ASCII text
data/spass-3.9/closure.c:                      C source, ASCII text
data/spass-3.9/closure.h:                      C source, ASCII text
data/spass-3.9/cmdline.c:                      C source, ASCII text
data/spass-3.9/cmdline.h:                      C source, ASCII text
data/spass-3.9/cnf.c:                          C source, ASCII text
data/spass-3.9/cnf.h:                          C source, ASCII text
data/spass-3.9/component.c:                    C source, ASCII text
data/spass-3.9/component.h:                    C source, ASCII text
data/spass-3.9/condensing.c:                   C source, ASCII text
data/spass-3.9/condensing.h:                   C source, ASCII text
data/spass-3.9/context.c:                      C source, ASCII text
data/spass-3.9/context.h:                      C source, ASCII text
data/spass-3.9/defs.c:                         C source, ASCII text
data/spass-3.9/defs.h:                         C source, ASCII text
data/spass-3.9/description.c:                  C source, ASCII text
data/spass-3.9/description.h:                  C source, ASCII text
data/spass-3.9/dfg.h:                          C source, ASCII text
data/spass-3.9/dfg2ascii.c:                    C source, ASCII text
data/spass-3.9/dfg2dfg.c:                      C source, ASCII text
data/spass-3.9/dfg2dimacs.c:                   C source, ASCII text
data/spass-3.9/dfg2otter.c:                    C source, ASCII text
data/spass-3.9/dfg2tptp.c:                     C source, ASCII text
data/spass-3.9/dfg_diagnostic.c:               C source, ASCII text
data/spass-3.9/dfg_diagnostic.h:               C source, ASCII text
data/spass-3.9/dfg_pos.h:                      C source, ASCII text
data/spass-3.9/dfg_string_table.c:             C source, ASCII text
data/spass-3.9/dfg_string_table.h:             C source, ASCII text
data/spass-3.9/dfg_token.c:                    C source, ASCII text
data/spass-3.9/dfg_token.h:                    C source, ASCII text
data/spass-3.9/dfg_util.h:                     C source, ASCII text
data/spass-3.9/dfglexer.c:                     C source, ASCII text
data/spass-3.9/dfglexer.h:                     C source, ASCII text
data/spass-3.9/dfgparser.c:                    C source, ASCII text, with very long lines
data/spass-3.9/dfgparser.h:                    C source, ASCII text
data/spass-3.9/dimacs2dfg.c:                   C source, ASCII text
data/spass-3.9/dimparser.c:                    C source, ASCII text
data/spass-3.9/dimparser.h:                    C source, ASCII text
data/spass-3.9/doc-proof.c:                    C source, ASCII text
data/spass-3.9/doc-proof.h:                    C source, ASCII text
data/spass-3.9/eml.c:                          C source, ASCII text
data/spass-3.9/eml.h:                          C source, ASCII text
data/spass-3.9/flags.c:                        C source, ASCII text
data/spass-3.9/flags.h:                        C source, ASCII text
data/spass-3.9/foldfg.c:                       C source, ASCII text
data/spass-3.9/foldfg.h:                       C source, ASCII text
data/spass-3.9/gettimeofday.h:                 ASCII text
data/spass-3.9/graph.c:                        C source, ASCII text
data/spass-3.9/graph.h:                        C source, ASCII text
data/spass-3.9/hash.c:                         C source, ASCII text
data/spass-3.9/hash.h:                         C source, ASCII text
data/spass-3.9/hasharray.c:                    C source, ASCII text
data/spass-3.9/hasharray.h:                    C source, ASCII text
data/spass-3.9/hashmap.c:                      C source, ASCII text
data/spass-3.9/hashmap.h:                      C source, ASCII text
data/spass-3.9/ia.h:                           C source, ASCII text
data/spass-3.9/iaparser.y:                     C source, ASCII text
data/spass-3.9/iascanner.l:                    C source, ASCII text
data/spass-3.9/kbo.c:                          C source, ASCII text
data/spass-3.9/kbo.h:                          C source, ASCII text
data/spass-3.9/list.c:                         C source, ASCII text
data/spass-3.9/list.h:                         C source, ASCII text
data/spass-3.9/makefile:                       makefile script, ASCII text, with very long lines
data/spass-3.9/memory.c:                       C source, ISO-8859 text
data/spass-3.9/memory.h:                       C source, ASCII text
data/spass-3.9/misc.c:                         C source, ASCII text
data/spass-3.9/misc.h:                         C source, ASCII text
data/spass-3.9/order.c:                        C source, ASCII text
data/spass-3.9/order.h:                        C source, ASCII text
data/spass-3.9/partition.c:                    C source, ASCII text
data/spass-3.9/partition.h:                    C source, ASCII text
data/spass-3.9/pgen.c:                         C source, ASCII text
data/spass-3.9/pro.h:                          C source, ASCII text
data/spass-3.9/prolog2dfg.c:                   C source, ASCII text
data/spass-3.9/proofcheck.c:                   C source, ISO-8859 text
data/spass-3.9/proofcheck.h:                   C source, ASCII text
data/spass-3.9/proparser.y:                    C source, ASCII text
data/spass-3.9/proscanner.l:                   C source, ASCII text
data/spass-3.9/ras.c:                          C source, ASCII text
data/spass-3.9/ras.h:                          C source, ASCII text
data/spass-3.9/renaming.c:                     C source, ASCII text
data/spass-3.9/renaming.h:                     C source, ASCII text
data/spass-3.9/rescmp.c:                       C source, ASCII text
data/spass-3.9/resolution.c:                   C source, ASCII text
data/spass-3.9/resolution.h:                   C source, ASCII text
data/spass-3.9/rpos.c:                         C source, ASCII text
data/spass-3.9/rpos.h:                         C source, ASCII text
data/spass-3.9/rules-inf.c:                    C source, ISO-8859 text
data/spass-3.9/rules-inf.h:                    C source, ASCII text
data/spass-3.9/rules-red.c:                    C source, ASCII text
data/spass-3.9/rules-red.h:                    C source, ASCII text
data/spass-3.9/rules-sort.c:                   C source, ASCII text
data/spass-3.9/rules-sort.h:                   C source, ASCII text
data/spass-3.9/rules-split.c:                  C source, ASCII text
data/spass-3.9/rules-split.h:                  C source, ASCII text
data/spass-3.9/rules-ur.c:                     C source, ASCII text
data/spass-3.9/rules-ur.h:                     C source, ASCII text
data/spass-3.9/search.c:                       C source, ASCII text
data/spass-3.9/search.h:                       C source, ASCII text
data/spass-3.9/sharing.c:                      C source, ASCII text
data/spass-3.9/sharing.h:                      C source, ASCII text
data/spass-3.9/sort.c:                         C source, ASCII text
data/spass-3.9/sort.h:                         C source, ASCII text
data/spass-3.9/st.c:                           C source, ASCII text
data/spass-3.9/st.h:                           C source, ASCII text
data/spass-3.9/stack.c:                        C source, ASCII text
data/spass-3.9/stack.h:                        C source, ASCII text
data/spass-3.9/strings.c:                      C source, ASCII text
data/spass-3.9/strings.h:                      C source, ASCII text
data/spass-3.9/subst.c:                        C source, ASCII text
data/spass-3.9/subst.h:                        C source, ASCII text
data/spass-3.9/subsumption.c:                  C source, ASCII text
data/spass-3.9/subsumption.h:                  C source, ASCII text
data/spass-3.9/symbol.c:                       C source, ASCII text
data/spass-3.9/symbol.h:                       C source, ASCII text
data/spass-3.9/table.c:                        C source, ASCII text
data/spass-3.9/table.h:                        C source, ASCII text
data/spass-3.9/tableau.c:                      C source, ASCII text
data/spass-3.9/tableau.h:                      C source, ASCII text
data/spass-3.9/term.c:                         C source, ASCII text
data/spass-3.9/term.h:                         C source, ASCII text
data/spass-3.9/terminator.c:                   C source, ASCII text
data/spass-3.9/terminator.h:                   C source, ASCII text
data/spass-3.9/tokens.inc:                     ASCII text
data/spass-3.9/top.c:                          C source, ASCII text
data/spass-3.9/tptp.h:                         C source, ASCII text
data/spass-3.9/tptp2dfg.c:                     C source, ASCII text
data/spass-3.9/tptpparser.y:                   C source, ASCII text
data/spass-3.9/tptpscanner.l:                  C source, ASCII text
data/spass-3.9/unify.c:                        C source, ASCII text
data/spass-3.9/unify.h:                        C source, ASCII text
data/spass-3.9/vector.c:                       C source, ASCII text
data/spass-3.9/vector.h:                       C source, ASCII text
data/spass-3.9/version.h:                      C source, ASCII text
data/spass-3.9/debian/changelog:               ASCII text
data/spass-3.9/debian/control:                 ASCII text
data/spass-3.9/debian/copyright:               ASCII text
data/spass-3.9/debian/rules:                   a /usr/bin/make -f script, ASCII text executable
data/spass-3.9/debian/source/format:           ASCII text
data/spass-3.9/debian/spass.install:           ASCII text
data/spass-3.9/debian/spass.links:             ASCII text
data/spass-3.9/debian/spass.lintian-overrides: ASCII text
data/spass-3.9/debian/tests/control:           ASCII text
data/spass-3.9/debian/tests/problem54.dfg:     ASCII text
data/spass-3.9/debian/tests/upstream:          POSIX shell script, ASCII text executable
data/spass-3.9/debian/watch:                   ASCII text
data/spass-3.9/.pc/.version:                   ASCII text
data/spass-3.9/.pc/.quilt_patches:             ASCII text
data/spass-3.9/.pc/.quilt_series:              ASCII text
data/spass-3.9/.pc/applied-patches:            empty