Add tptp-0.2.0
Merge pull request #702 from radekm/master

Add tptp-0.2.0