/src/parser/tptp/
../
Tptp.g
tptp.cpp
tptp.h
tptp_input.cpp
tptp_input.h