ReadMe-v1.1.3      : Latest version of  the ReadMe file.  This file is included 
                     in TPTP-v1.1.3.tar.gz.

TPTP-v1.1.3.tar.gz : Latest version of the TPTP Problem Library.
                     * Note that files  transformed by tptp2X of v1.1.1  may be 
                       flawed  (definitely if you  use Eclipse Prolog).

TR-v1.1.1.ps.gz    : The latest  version of the technical report describing the
                     TPTP Problem Library.