Add tptp 0.3.1
Merge pull request #2483 from radekm/tptp-0.3.1

Add tptp 0.3.1