![[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 | - | ||
| AGInT/ | 27-Jun-2008 03:09 | - | |
| ART03/ | 26-Apr-2004 18:00 | - | |
| ART04/ | 05-Apr-2005 15:43 | - | |
| ART05/ | 16-Apr-2008 10:00 | - | |
| ATP/ | 26-Jun-2008 15:44 | - | |
| ATPProgress/ | 27-Jul-2005 01:59 | - | |
| ATPProofs/ | 16-Apr-2008 10:00 | - | |
| CASC/ | 26-Jun-2008 15:44 | - | |
| CSSCPA/ | 05-Apr-2005 15:43 | - | |
| Evaluate/ | 27-Jun-2008 04:30 | - | |
| EventCalculus/ | 05-Apr-2005 15:54 | - | |
| GDV/ | 27-Apr-2005 08:12 | - | |
| GLiDeS-M/ | 11-Jan-2005 07:10 | - | |
| GLiDeS/ | 11-Jan-2005 07:10 | - | |
| HRtoTPTP/ | 05-Apr-2005 15:45 | - | |
| Homogeneity/ | 05-Apr-2005 15:45 | - | |
| IDV/ | 15-Apr-2008 11:50 | - | |
| MANSEX/ | 27-Jun-2008 04:04 | - | |
| MathsInTPTP/ | 26-Apr-2004 18:00 | - | |
| MizarVerification/ | 14-Oct-2007 14:10 | - | |
| ModalLogic/ | 12-Aug-2005 09:31 | - | |
| Prophet/ | 08-Sep-2007 09:42 | - | |
| RedAx/ | 24-Jun-2004 11:08 | - | |
| Relevance/ | 26-Apr-2004 18:00 | - | |
| RichTheories/ | 26-Apr-2004 18:00 | - | |
| SRASS/ | 12-Apr-2007 08:53 | - | |
| SSCPA/ | 08-Sep-2007 09:43 | - | |
| StandardsAndTools/ | 05-Apr-2005 15:46 | - | |
| SystemOnTPTP/ | 16-Aug-2007 13:04 | - | |
| THF/ | 26-Jun-2008 15:45 | - | |
| TPTP/ | 26-Jun-2008 04:44 | - | |
| TPTP2T/ | 23-Apr-2008 13:50 | - | |
| TPTP2TSTP/ | 26-Apr-2004 18:00 | - | |
| TPTPLanguage/ | 08-May-2006 11:02 | - | |
| TPTPetc/ | 04-Sep-2007 08:46 | - | |
| TSTP/ | 26-Jun-2008 15:46 | - | |
| TSTPStandards/ | 26-Apr-2004 18:00 | - | |
| Trilogy/ | 26-Apr-2004 18:00 | - | |
| Wos-AoAR/ | 18-Jul-2005 14:52 | - | |
| YuLM/ | 05-Apr-2005 16:17 | - | |