Directory listing for tptp-0.1.0.3 candidate source tarball

tptp-0.1.0.3/src/Data/