Index of /Seminars/TPTP/TPTPFiles

	Name	Last modified	Size	Description
	Parent Directory		-
	PUZ031-1.p.html	2019-07-18 08:24	4.9K
	SEV461^1.p.html	2019-07-18 08:41	3.3K
	GRP194+1.p.html	2019-07-18 08:41	3.0K
	GEG021=1.p.html	2019-07-18 08:33	2.9K
	GRP007+0.ax.html	2019-07-18 08:18	1.8K