Directory listing for logic-TPTP-0.5.0.0 source tarball

logic-TPTP-0.5.0.0/