Directory listing for tptp-0.1.0.3 candidate source tarball

tptp-0.1.0.3/test-data/tptp/tff/