/test/spass/

• ../
• .depend
• AUTHORS
• COPYING
• LICENSE.TXT
• Makefile
• Makefile.bak
• README
• VERSIONHISTORY
• analyze.c
• analyze.h
• approx.h
• clause.c
• clause.h
• clock.c
• clock.h
• closure.c
• closure.h
• cnf.c
• cnf.h
• component.c
• component.h
• condensing.c
• condensing.h
• context.c
• context.h
• defs.c
• defs.h
• dfg.h
• dfgparser.c
• dfgparser.h
• dfgscanner.c
• doc-proof.c
• doc-proof.h
• flags.c
• flags.h
• foldfg.c
• foldfg.h
• graph.c
• graph.h
• hash.c
• hash.h
• hasharray.c
• hasharray.h
• ia.h
• iaparser.c
• iaparser.h
• iascanner.c
• kbo.c
• kbo.h
• list.c
• list.h
• memory.c
• memory.h
• misc.c
• misc.h
• options.c
• options.h
• order.c
• order.h
• partition.c
• partition.h
• problem.dfg
• proofcheck.c
• proofcheck.h
• 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
• small_problem.dfg
• sort.c
• sort.h
• st.c
• st.h
• stack.c
• stack.h
• strings.c
• stringsx.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
• unify.c
• unify.h
• vector.c
• vector.h