Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
tptp2x.docs | 2010-08-07 17:23 | 14 | ||
tptp-doc.docs | 2010-08-07 17:15 | 394 | ||
rules | 2010-08-07 17:15 | 178 | ||
control | 2010-08-07 17:15 | 902 | ||
tptp2x.links | 2010-08-07 17:03 | 46 | ||
tptp2x.install | 2010-08-07 15:42 | 23 | ||
tptp-scripts.install | 2010-08-07 15:42 | 24 | ||
tptp-problems.install | 2010-08-07 15:42 | 25 | ||
tptp-generators.install | 2010-08-07 15:42 | 27 | ||
tptp-axioms.install | 2010-08-07 15:42 | 23 | ||
copyright | 2010-08-07 14:32 | 5 | ||
compat | 2010-08-07 14:32 | 2 | ||
changelog | 2010-08-07 14:32 | 132 | ||