Index of /software/eclipse/tptp/4.7.2

	Name	Last modified	Size	Description
	Parent Directory		-
	TPTP-4.7.2-201102161022/	17-Feb-2011 03:56	-
	TPTP-4.7.2/	24-Feb-2011 04:46	-
	builds.txt	19-Feb-2011 02:30	348
	dev/	01-Jul-2011 20:30	-