/src/parser/tptp/

• ../
• Tptp.g
• tptp.cpp
• tptp.h
• tptp_input.cpp
• tptp_input.h