Index of /tptp/4.7.2

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