Add tptp 0.3.0
Merge pull request #2094 from radekm/tptp-0.3.0

Add tptp 0.3.0