Index of /~adolfo/TableauProver/TPExe/tf/DocsTex

	Name	Last modified	Size	Description
	Parent Directory		-
	analysis.tex	2004-12-24 15:55	4.6K
	analysis/	2004-12-30 06:47	-
	clean.sh	2004-12-27 16:20	117
	compAna.sh	2004-12-27 16:32	19
	compRes.sh	2004-12-27 16:32	18
	gamma_clausal_results.tex	2005-01-27 22:58	0
	gamma_clausal_with_literals_results.tex	2005-02-25 08:46	258
	gamma_normal_results.tex	2005-01-27 22:57	0
	gamma_with_literals_results.tex	2005-02-25 08:46	257
	generateLinks.sh	2004-12-27 13:50	50
	h_clausal_results.tex	2005-02-25 08:46	192
	h_normal_results.tex	2005-02-25 08:46	190
	php_clausal_results.tex	2006-05-16 16:38	56
	php_normal_results.tex	2006-05-16 16:38	55
	results.aux	2005-02-25 08:50	1.0K
	results.log	2005-02-25 08:50	5.8K
	results.tex	2004-12-24 16:06	3.2K
	statman_clausal_results.tex	2005-02-25 08:49	94
	statman_normal_results.tex	2005-02-25 08:46	94