Index of /~tptp/Seminars/TPTP

	Name	Last modified	Size	Description
	Parent Directory		-
	2X4X.GIF	26-Jun-2008 04:18	37K
	Abstract.html	26-Apr-2004 18:00	809
	Axe.GIF	26-Apr-2004 18:00	12K
	AxiomFiles.html	20-Jun-2011 14:17	668
	BODs.html	26-Apr-2004 18:00	841
	BadOldCB.GIF	26-Apr-2004 18:00	22K
	CNFHead.html	26-Apr-2004 18:00	1.8K
	Clauses.html	26-Apr-2004 18:00	1.0K
	Contents.html	26-Apr-2004 18:00	2.3K
	Domains.html	26-Apr-2004 18:00	1.4K
	FOFHead.html	26-Apr-2004 18:00	1.6K
	Formula.html	26-Apr-2004 18:00	1.1K
	GNDs.html	23-Jun-2004 09:53	2.2K
	Include.gif	24-Dec-2010 16:39	20K
	Include.html	20-Jun-2011 14:13	625
	Inside.html	26-Apr-2004 18:00	1.5K
	MGT001+1.p.html	07-Oct-2008 07:26	0
	PAGLists.html	26-Apr-2004 18:00	2.1K
	ProbAx.html	26-Apr-2004 18:00	1.5K
	Quotes/	27-Mar-2009 13:29	-
	RedIndian.jpg	26-Apr-2004 18:00	41K
	RefDocs.html	26-Apr-2004 18:00	1.3K
	Results.html	21-Jun-2004 07:40	1.1K
	SET817+4.p.html	12-May-2011 08:56	2.2K
	Sources.html	26-Apr-2004 18:00	516
	StatList.html	26-Apr-2004 18:00	1.8K
	Summary.html	05-Oct-2011 11:54	1.9K
	SynoList.html	26-Apr-2004 18:00	1.1K
	Synopsis.html	30-Sep-2010 11:03	5.2K
	TPTP.GIF	03-Mar-2009 07:43	3.8K
	TPTP.html	26-Apr-2004 18:00	1.2K
	TPTPFiles/	15-Mar-2012 12:34	-
	TPTPGet.html	23-Jun-2004 16:32	1.4K
	TPTPGrowth.GIF	30-Sep-2010 11:48	23K
	TPTPGrowthGIF.html	23-Mar-2009 10:57	291
	TPTPNX.html	16-Jun-2009 06:21	1.5K
	TPTPWWW.GIF	26-Apr-2004 18:00	16K
	Teepee.GIF	26-Apr-2004 18:00	26K
	Tick.GIF	01-Sep-2010 17:20	18K
	ToolSummary.html	01-Sep-2010 17:23	2.0K
	Tools.jpg	01-Sep-2010 16:41	228K
	tptp1T.html	26-Apr-2004 18:00	754
	tptp2X.html	04-Oct-2004 14:24	3.1K