Index of /~tptp/Seminars/ATPProgress

	Name	Last modified	Size	Description
	Parent Directory		-
	ATPProg.htm	26-Apr-2004 17:59	1.2K
	Abstract.htm	26-Apr-2004 17:59	1.1K
	Achieve.htm	26-Apr-2004 17:59	851
	Aims.htm	26-Apr-2004 17:59	1.2K
	CASCFP.htm	26-Apr-2004 17:59	2.2K
	Conclude.htm	26-Apr-2004 17:59	727
	Contents.htm	26-Apr-2004 17:59	1.2K
	Data.htm	26-Apr-2004 17:59	258
	ExpCurve.htm	26-Apr-2004 17:59	1.8K
	FirstSol.htm	26-Apr-2004 17:59	2.3K
	Flowers/	26-Apr-2004 17:57	-
	GIFS/	03-Aug-2009 12:23	-
	RateDown.htm	26-Apr-2004 17:59	521
	SOTASys1.htm	26-Apr-2004 17:59	1.8K
	SOTASys2.htm	26-Apr-2004 17:59	2.1K