Directory listing for tptp-0.1.0.3 candidate source tarball

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