/proofsearch/src/simplify/

• ../
• subsumption.cc
• tautology.cc