Index of /tptp/4.5.2.1

	Name	Last modified	Size	Description
	Parent Directory		-
	TPTP-4.5.2.1-201002081212/	10-Feb-2010 17:32	-
	TPTP-4.5.2.1-201008272040/	01-Oct-2010 20:22	-
	builds.txt	28-Jan-2011 12:30	52
	dev/	01-Oct-2010 20:22	-