/proofsearch/include/atp/simplify/

• ../
• subsumption.h
• tautology.h