Index of /Eclipse/tptp/4.7.2

	Name	Last modified	Size	Description
	Parent Directory		-
	TPTP-4.7.2-201102161022/	2011-02-16 20:56	-
	TPTP-4.7.2/	2011-02-23 21:46	-
	dev/	2011-07-01 13:30	-
	builds.txt	2011-02-18 19:30	348