Directory listing for tptp-0.1.2.0 candidate source tarball

tptp-0.1.2.0/test-data/tstp/cnf/