![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| changelog | 07-Aug-2010 07:32 | 132 | |
| compat | 07-Aug-2010 07:32 | 2 | |
| control | 07-Aug-2010 10:15 | 902 | |
| copyright | 07-Aug-2010 07:32 | 5 | |
| rules | 07-Aug-2010 10:15 | 178 | |
| tptp-axioms.install | 07-Aug-2010 08:42 | 23 | |
| tptp-doc.docs | 07-Aug-2010 10:15 | 394 | |
| tptp-generators.install | 07-Aug-2010 08:42 | 27 | |
| tptp-problems.install | 07-Aug-2010 08:42 | 25 | |
| tptp-scripts.install | 07-Aug-2010 08:42 | 24 | |
| tptp2x.docs | 07-Aug-2010 10:23 | 14 | |
| tptp2x.install | 07-Aug-2010 08:42 | 23 | |
| tptp2x.links | 07-Aug-2010 10:03 | 46 | |