Index of /software/eclipse/tptp/4.5.2.1

	Name	Last modified	Size	Description
	Parent Directory		-
	TPTP-4.5.2.1-201002081212/	11-Feb-2010 01:31	-
	TPTP-4.5.2.1-201008272040/	02-Oct-2010 03:22	-
	builds.txt	19-Feb-2011 02:30	52
	dev/	02-Oct-2010 03:22	-