Removed note on released ATPs.
Removed notes on TPTP.