![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BNFandSZSPreRelease/ | 19-Nov-2004 09:36 | - | |
| TPTP-Beta/ | 26-Apr-2004 18:02 | - | |
| TPTP-v1.0.0/ | 26-Apr-2004 18:02 | - | |
| TPTP-v1.1.1/ | 26-Apr-2004 18:02 | - | |
| TPTP-v1.1.2/ | 26-Apr-2004 18:02 | - | |
| TPTP-v1.1.3/ | 26-Apr-2004 18:02 | - | |
| TPTP-v1.2.0/ | 26-Apr-2004 18:02 | - | |
| TPTP-v1.2.1/ | 26-Apr-2004 18:02 | - | |
| TPTP-v2.0.0/ | 26-Apr-2004 18:02 | - | |
| TPTP-v2.1.0/ | 26-Apr-2004 18:02 | - | |
| TPTP-v2.2.0/ | 26-Apr-2004 18:02 | - | |
| TPTP-v2.2.1/ | 26-Apr-2004 18:02 | - | |
| TPTP-v2.3.0/ | 26-Apr-2004 18:02 | - | |
| TPTP-v2.4.1/ | 26-Apr-2004 18:03 | - | |
| TPTP-v2.5.0/ | 20-Feb-2007 07:51 | - | |
| TPTP-v2.6.0/ | 15-Aug-2004 10:29 | - | |
| TPTP-v2.7.0/ | 12-Nov-2004 16:04 | - | |
| TPTP-v3.0.0/ | 14-Feb-2005 12:36 | - | |
| TPTP-v3.0.1/ | 25-Jul-2005 04:30 | - | |
| TPTP-v3.1.0/ | 13-Dec-2005 13:10 | - | |
| TPTP-v3.1.1/ | 18-Aug-2006 12:11 | - | |
| TPTP-v3.2.0/ | 17-Jul-2007 01:36 | - | |
| TPTP-v3.3.0/ | 04-Mar-2008 22:01 | - | |
| TPTP-v3.4.0/ | 31-Mar-2008 11:14 | - | |
| TPTP-v3.4.1/ | 30-May-2008 12:58 | - | |
| TPTP-v3.4.2/ | 13-Aug-2008 05:44 | - | |