Index of /p/tasks

	Name	Last modified	Size	Description
	Parent Directory		-
	all.log	2006-09-03 23:11	11K
	all.aux	2006-09-03 23:11	5.4K
	body.tex	2006-09-03 23:11	92K
	ecai04.pdf	2005-02-17 14:41	129K
	pdf.pdf	2004-06-13 17:22	154K
	all.ps.gz	2004-06-13 17:22	132K
	all.dvi.gz	2004-06-13 17:22	38K
	pdf.aux	2004-06-13 17:22	5.4K
	all.pdf	2004-05-20 16:04	305K
	all.blg	2004-05-20 16:04	864
	all.bbl	2004-05-20 16:04	0
	pdf.blg	2004-05-20 16:04	864
	pdf.bbl	2004-05-20 16:04	0
	pdf.tex	2004-01-15 10:51	77
	texput.log	2003-10-10 22:05	543
	prooftree1.ps.gz	2003-10-08 10:41	4.7K
	depgraph1.ps.gz	2003-10-08 10:27	2.8K
	all.tex	2003-10-07 18:45	50