Index of /~tptp/Seminars/TPTP

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[IMG]2X4X.GIF26-Jun-2008 04:18 37K 
[TXT]Abstract.html26-Apr-2004 18:00 809  
[IMG]Axe.GIF26-Apr-2004 18:00 12K 
[TXT]AxiomFiles.html20-Jun-2011 14:17 668  
[TXT]BODs.html26-Apr-2004 18:00 841  
[IMG]BadOldCB.GIF26-Apr-2004 18:00 22K 
[TXT]CNFHead.html26-Apr-2004 18:00 1.8K 
[TXT]Clauses.html26-Apr-2004 18:00 1.0K 
[TXT]Contents.html26-Apr-2004 18:00 2.3K 
[TXT]Domains.html26-Apr-2004 18:00 1.4K 
[TXT]FOFHead.html26-Apr-2004 18:00 1.6K 
[TXT]Formula.html26-Apr-2004 18:00 1.1K 
[TXT]GNDs.html23-Jun-2004 09:53 2.2K 
[IMG]Include.gif24-Dec-2010 16:39 20K 
[TXT]Include.html20-Jun-2011 14:13 625  
[TXT]Inside.html26-Apr-2004 18:00 1.5K 
[TXT]MGT001+1.p.html07-Oct-2008 07:26 0  
[TXT]PAGLists.html26-Apr-2004 18:00 2.1K 
[TXT]ProbAx.html26-Apr-2004 18:00 1.5K 
[DIR]Quotes/27-Mar-2009 13:29 -  
[IMG]RedIndian.jpg26-Apr-2004 18:00 41K 
[TXT]RefDocs.html26-Apr-2004 18:00 1.3K 
[TXT]Results.html21-Jun-2004 07:40 1.1K 
[TXT]SET817+4.p.html12-May-2011 08:56 2.2K 
[TXT]Sources.html26-Apr-2004 18:00 516  
[TXT]StatList.html26-Apr-2004 18:00 1.8K 
[TXT]Summary.html05-Oct-2011 11:54 1.9K 
[TXT]SynoList.html26-Apr-2004 18:00 1.1K 
[TXT]Synopsis.html30-Sep-2010 11:03 5.2K 
[IMG]TPTP.GIF03-Mar-2009 07:43 3.8K 
[TXT]TPTP.html26-Apr-2004 18:00 1.2K 
[DIR]TPTPFiles/15-Mar-2012 12:34 -  
[TXT]TPTPGet.html23-Jun-2004 16:32 1.4K 
[IMG]TPTPGrowth.GIF30-Sep-2010 11:48 23K 
[TXT]TPTPGrowthGIF.html23-Mar-2009 10:57 291  
[TXT]TPTPNX.html16-Jun-2009 06:21 1.5K 
[IMG]TPTPWWW.GIF26-Apr-2004 18:00 16K 
[IMG]Teepee.GIF26-Apr-2004 18:00 26K 
[IMG]Tick.GIF01-Sep-2010 17:20 18K 
[TXT]ToolSummary.html01-Sep-2010 17:23 2.0K 
[IMG]Tools.jpg01-Sep-2010 16:41 228K 
[TXT]tptp1T.html26-Apr-2004 18:00 754  
[TXT]tptp2X.html04-Oct-2004 14:24 3.1K 

Apache/2.2.15 (Fedora) Server at quoll.cs.miami.edu Port 80