Directory listing for tptp-0.1.2.0 candidate source tarball

tptp-0.1.2.0/test/DocTests/