Add tptp-0.2.0