Index of /~jipsen/tptp

	Name	Last modified	Size	Description
	Parent Directory		-
	tptplatex/	2017-03-19 18:34	-
	tptpPDF/	2017-03-18 18:41	-
	TPTP-v6.4.0/	2017-02-24 09:48	-