Index of /data/main/s/spass/3.7-2/SPASS

• Parent Directory
• analyze.c
• analyze.h
• approx.c
• approx.h
• clause.c
• clause.h
• clock.c
• clock.h
• closure.c
• closure.h
• cmdline.c
• cmdline.h
• cnf.c
• cnf.h
• component.c
• component.h
• condensing.c
• condensing.h
• config.h.in
• context.c
• context.h
• defs.c
• defs.h
• description.c
• description.h
• dfg.h
• dfg2ascii.c
• dfg2dfg.c
• dfg2otter.c
• dfg2tptp.c
• dfgparser.c
• dfgparser.h
• dfgparser.y
• dfgscanner.c
• dfgscanner.l
• doc-proof.c
• doc-proof.h
• eml.c
• eml.h
• flags.c
• flags.h
• foldfg.c
• foldfg.h
• graph.c
• graph.h
• hash.c
• hash.h
• hasharray.c
• hasharray.h
• hashmap.c
• hashmap.h
• ia.h
• iaparser.c
• iaparser.h
• iaparser.y
• iascanner.c
• iascanner.l
• kbo.c
• kbo.h
• list.c
• list.h
• memory.c
• memory.h
• misc.c
• misc.h
• order.c
• order.h
• partition.c
• partition.h
• proofcheck.c
• proofcheck.h
• ras.c
• ras.h
• renaming.c
• renaming.h
• resolution.c
• resolution.h
• rpos.c
• rpos.h
• rules-inf.c
• rules-inf.h
• rules-red.c
• rules-red.h
• rules-sort.c
• rules-sort.h
• rules-split.c
• rules-split.h
• rules-ur.c
• rules-ur.h
• search.c
• search.h
• sharing.c
• sharing.h
• sort.c
• sort.h
• st.c
• st.h
• stack.c
• stack.h
• strings.c
• strings.h
• subst.c
• subst.h
• subsumption.c
• subsumption.h
• symbol.c
• symbol.h
• table.c
• table.h
• tableau.c
• tableau.h
• term.c
• term.h
• terminator.c
• terminator.h
• top.c
• tptp.h
• tptp2dfg.c
• tptpparser.c
• tptpparser.h
• tptpparser.y
• tptpscanner.c
• tptpscanner.l
• unify.c
• unify.h
• vector.c
• vector.h
• version.h