Index of /~raulh/ufes/teaching/courses/s.and.s/lec.notes/0

	Name	Last modified	Size	Description
	Parent Directory		-
	prog.correctness.pdf	2004-10-20 05:56	199K
	prog.correctness.dvi	2004-10-20 05:56	82K
	pg.eval.pdf	2004-10-20 05:56	27K
	pg.eval.ps	2004-10-20 05:56	25K
	seqsearch.tex	2004-10-20 05:56	20K
	seqperms.tex	2004-10-20 05:56	13K
	prog.correctness.log	2004-10-20 05:56	11K
	prog.correctness.tex	2004-10-20 05:56	8.3K
	pg.eval.log	2004-10-20 05:56	6.1K
	s	2004-10-20 05:56	5.1K
	prog.correctness.aux	2004-10-20 05:56	5.1K
	seqops.tex	2004-10-20 05:56	3.3K
	pg.eval.dvi	2004-10-20 05:56	1.6K
	prog.correctness.bbl	2004-10-20 05:56	1.6K
	pg.eval.tex	2004-10-20 05:56	1.1K
	prog.correctness.blg	2004-10-20 05:56	1.0K
	sorting.tex	2004-10-20 05:56	1.0K
	x.log	2004-10-20 05:56	655
	binsearch.tex	2004-10-20 05:56	611
	b.gcl	2004-10-20 05:56	544
	binsearch.gcl	2004-10-20 05:56	533
	partition.outline.tex	2004-10-20 05:56	483
	partition.outline.gcl	2004-10-20 05:56	412
	z	2004-10-20 05:56	410
	linsearch.tex	2004-10-20 05:56	340
	swapsec.tex	2004-10-20 05:56	334
	pg.eval.aux	2004-10-20 05:56	324
	linsearch.gcl	2004-10-20 05:56	307
	binsearch.snd.tex	2004-10-20 05:56	289
	swapsec.gcl	2004-10-20 05:56	274
	binsearch.snd.gcl	2004-10-20 05:56	251
	binsearch.fst.tex	2004-10-20 05:56	194
	binsearch.shrink.tex	2004-10-20 05:56	186
	binsearch.fst.gcl	2004-10-20 05:56	175
	search.hs	2004-10-20 05:56	173
	binsearch.shrink.gcl	2004-10-20 05:56	138
	linsearch.hs	2004-10-20 05:56	49
	linsearch.ghc	2004-10-20 05:56	48
	seqsum.hs	2004-10-20 05:56	45
	linsearch.ghc.tex	2004-10-20 05:56	42