Index of /~raulh/ufes/teaching/courses/correct

	Name	Last modified	Size	Description
	Parent Directory		-
	defalgo.tex	2003-10-31 15:14	2.2K
	defen.tex	2003-10-31 15:14	257
	defenvs.tex	2003-10-31 15:14	240
	deflogic.tex	2003-10-31 15:14	731
	defport.tex	2003-10-31 15:14	868
	defproglangs.tex	2003-10-31 15:14	135
	defprogsem.tex	2003-10-31 15:14	2.8K
	defseqs.tex	2003-10-31 15:14	568
	result.aux	2003-10-31 15:40	416
	result.dvi	2003-10-31 15:40	3.5K
	result.log	2003-10-31 15:40	5.3K
	result.pdf	2003-10-31 15:40	24K
	result.ps	2003-10-31 15:41	24K
	result.tex	2003-10-31 15:40	1.8K
	tp1.pdf	2003-10-31 15:14	42K