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
	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.html	26-Apr-2004 18:00	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	11-Mar-2009 13:32	2.1K
	Sources.html	26-Apr-2004 18:00	516
	StatList.html	26-Apr-2004 18:00	1.8K
	Summary.html	07-May-2009 07:15	1.8K
	SynoList.html	26-Apr-2004 18:00	1.1K
	Synopsis.html	02-Oct-2008 09:31	3.9K
	TPTP.GIF	03-Mar-2009 07:43	3.8K
	TPTP.html	26-Apr-2004 18:00	1.2K
	TPTPFiles/	03-Aug-2009 12:23	-
	TPTPGet.html	23-Jun-2004 16:32	1.4K
	TPTPGrowth.GIF	02-Oct-2008 09:32	17K
	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
	tptp1T.html	26-Apr-2004 18:00	754
	tptp2X.html	04-Oct-2004 14:24	3.1K