Index of ftp://ftp2.us.NetBSD.org/pub/eclipse.org/tptp/4.7.2/TPTP-4.7.2

Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 04 of 04
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->

tptp.map	15.68Kb	February 23 2011	[find mirrors]
tptp.platform.runtime-TPTP-4.7.2.zip	33.37Mb	February 23 2011	[find mirrors]
tptp.platform.sdk-TPTP-4.7.2.zip	46.54Mb	February 23 2011	[find mirrors]
tptp.runtime-TPTP-4.7.2.zip	38.97Mb	February 23 2011	[find mirrors]
tptp.runtime.allInOne.linux.gtk.x86-TPTP-4.7.2.zip	127.63Mb	February 23 2011	[find mirrors]
tptp.runtime.allInOne.win32.win32.x86-TPTP-4.7.2.zip	128.13Mb	February 23 2011	[find mirrors]
tptp.sdk-TPTP-4.7.2.zip	55.20Mb	February 23 2011	[find mirrors]
tptp.test.runtime-TPTP-4.7.2.zip	3.45Mb	February 23 2011	[find mirrors]
tptp.test.sdk-TPTP-4.7.2.zip	5.54Mb	February 23 2011	[find mirrors]
tptp.trace.runtime-TPTP-4.7.2.zip	1.24Mb	February 23 2011	[find mirrors]
tptp.trace.sdk-TPTP-4.7.2.zip	1.96Mb	February 23 2011	[find mirrors]
versionComparison.html	31.28Kb	February 23 2011	[find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 04 of 04
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->