Index of /Seminars/TPTP/TPTPFiles

	Name	Last modified	Size	Description
	Parent Directory		-
	GEG021=1.p.html	2024-10-04 17:41	2.9K
	GRP007+0.ax.html	2024-10-04 17:41	1.8K
	GRP194+1.p.html	2024-10-04 17:41	3.0K
	PUZ031-1.p.html	2024-10-04 17:41	4.9K
	SEV461^1.p.html	2024-10-04 17:41	3.3K