/proofsearch/include/atp/rewrite/

• ../
• ordering.h
• paramodulation.h