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

TPTP-v1.1.2.tar.gz : Latest version of the TPTP Problem Library.

TPTP2X_and_Scripts-v1.1.2.tar.gz : Latest  version of  the  TPTP2X and  Scripts
                     subdirectories  of the TPTP  Problem Library.  These files
                     are  included in TPTP-v1.1.2.tar.gz.  The only differences 
                     between   TPTP-v1.1.1   and  TPTP-v1.1.2   are  in   these 
                     directories.  If it's not a problem, we recommend that you
                     ftp TPTP-v1.1.2.tar.gz,  in order to maintain consistency.
                     However,  if  you  already  have  TPTP-v1.1.1,  this  file 
                     contains all that you really need.
                     * Note that files  transformed by v1.1.1  of tptp2X may be 
                       flawed  (definitely if you  use Eclipse Prolog).  Please 
                       redo transformations using tptp2X v1.1.2.

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

