Index of /~tptp/Seminars/TSTP

	Name	Last modified	Size	Description
	Parent Directory		-
	ATD.GIF	26-Apr-2004 18:00	8.0K
	ATD.html	26-Apr-2004 18:00	1.0K
	ATDGIF.html	26-Apr-2004 18:00	299
	BNF.txt	26-Apr-2004 18:00	4.6K
	EP---1.0.THM-CRf.s.txt	06-Jun-2011 13:37	0
	EP.THM-CRf.s.txt	12-May-2011 08:57	18K
	Inside.html	26-Apr-2004 18:00	1.5K
	Ontology.jpg	07-Jan-2009 22:27	0
	SPV.GIF	26-Apr-2004 18:00	9.5K
	SPV.html	26-Apr-2004 18:00	1.1K
	SPVGIF..html	26-Apr-2004 18:00	296
	SRS.html	26-Apr-2004 18:00	13K
	SZS.html	07-Jan-2009 22:27	0
	SZSNoSuccess.html	07-Jan-2009 22:27	0
	SZSOutput.html	07-Jan-2009 22:27	0
	SZSSuccess.html	07-Jan-2009 22:27	0
	Summary.html	25-Jun-2011 12:32	1.9K
	TAT.GIF	26-Apr-2004 18:00	2.1K
	TATT.GIF	26-Apr-2004 18:00	2.2K
	TSTP.GIF	03-Mar-2009 07:44	3.7K
	TSTPFiles/	28-Jul-2011 14:38	-