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