Index of /~adolfo/TableauProver/TPExe/tf

	Name	Last modified	Size	Description
	Parent Directory		-
	DocsTex/	2005-04-15 17:45	-
	analyse.sh	2004-12-27 13:28	255
	analyseAll.sh	2004-12-24 16:09	403
	clean.sh	2004-12-30 06:38	222
	extlib/	2005-01-12 11:34	-
	f600.cnf	2004-12-15 14:01	37K
	f1000.cnf	2004-12-15 13:37	63K
	install.sh	2004-12-27 16:03	43
	lib/	2005-01-12 11:34	-
	links.txt	2004-12-15 15:03	92
	runAll.sh	2004-12-24 15:57	413
	runEasy.sh	2004-12-27 16:38	413
	runImpossible.sh	2004-12-28 10:51	84
	runMostDifficult.sh	2004-12-27 13:19	419
	samples/	2005-01-12 11:34	-
	sequence.sh	2005-01-27 22:57	351
	teste.cnf	2004-12-15 14:12	61
	tf.jar.gz	2006-10-10 11:54	272K
	xsl/	2005-04-15 17:45	-