Directory listing for tptp-0.1.1.0 candidate source tarball

tptp-0.1.1.0/test-data/tptp/