/proofsearch/include/atp/core/

• ../
• clause.h
• clause_store.h
• literal.h
• symbol_table.h
• term.h
• term_bank.h
• types.h