Index of /~adolfo/TableauProver/TPExe/problems/output/wagnerNew/tex

	Name	Last modified	Size	Description
	Parent Directory		-
	gamma_clausal_results.tex	2005-01-27 22:58	0
	gamma_normal_results.tex	2005-01-27 22:57	0
	php_normal_results.tex	2006-05-16 16:38	55
	php_clausal_results.tex	2006-05-16 16:38	56
	statman_clausal_results.tex	2005-02-25 08:49	94
	statman_normal_results.tex	2005-02-25 08:46	94
	h_normal_results.tex	2005-02-25 08:46	190
	h_clausal_results.tex	2005-02-25 08:46	192
	gamma_with_literals_results.tex	2005-02-25 08:46	257
	gamma_clausal_with_literals_results.tex	2005-02-25 08:46	258