Cleaning.
Released TPTP 6.0.0.