Index of /Seminars/MathsInTPTP/TPTP

	Name	Last modified	Size	Description
	Parent Directory		-
	ALG001-2.p	2014-11-26 09:43	1.8K
	ANA002-1.p	2014-11-26 09:43	3.8K
	ANA005-3.p	2014-11-26 09:43	2.8K
	GRA001-1.p	2014-11-26 09:43	3.6K
	GRP004+0.ax	2014-11-26 09:43	2.2K
	GRP004-0.ax	2014-11-26 09:43	2.3K
	GRP039-1.p	2014-11-26 09:43	3.8K
	GRP039-1.p.h	2014-11-26 09:43	1.4K
	GRP039-1.p.p	2014-11-26 09:43	1.4K
	GRP049-1.p	2014-11-26 09:43	2.1K
	GRP128-2.006.p	2014-11-26 09:43	5.8K
	GRP194+1.p	2014-11-26 09:43	2.7K
	GRP194+1.p.h	2014-11-26 09:43	1.4K
	GRP194+1.p.p	2014-11-26 09:43	1.4K
	LAT005-3.p	2014-11-26 09:43	2.2K
	RNG028-1.p	2014-11-26 09:43	1.4K
	SET055+1.p	2014-11-26 09:43	1.5K