/proofsearch/src/rewrite/

• ../
• ordering.cc
• paramodulation.cc