                 Known bugs in Problems in TPTP-v1.1.3
                 -------------------------------------

Bugs have been  found in the  following problems  in TPTP-v1.1.3,  and will  be
fixed in  the next release of the TPTP.  If you would like to  obtain the fixed 
problems immediately, please email Geoff Sutcliffe (geoff@cs.jcu.edu.au).

LCL/LCL068-1.p
LCL/LCL069-1.p
LCL/LCL083-2.p
LCL/LCL084-2.p
LCL/LCL084-3.p
ROB/ROB012-1.p
ROB/ROB012-2.p
SYN/SYN005-1.*.p
