Directory listing for logic-TPTP-0.3.0.1 source tarball

logic-TPTP-0.3.0.1/Codec/TPTP/