/proofsearch/include/atp/infer/

• ../
• resolution.h
• substitution.h
• unification.h