Index of /~raulh/ufes/teaching/courses/fm/progs/minmax

	Name	Last modified	Size	Description
	Parent Directory		-
	logicalalgo.tex	2002-03-20 16:55	6.9K
	logicalalgo.ps	2002-03-20 16:11	79K
	logicalalgo.log	2002-03-20 16:11	7.9K
	logicalalgo.dvi	2002-03-20 16:11	14K
	logicalalgo.aux	2002-03-20 16:11	840
	pvsintro.tex	2002-03-07 00:04	6.3K
	pvsintro.log	2002-03-07 00:01	7.4K
	pvsintro.dvi	2002-03-07 00:01	14K
	pvsintro.aux	2002-03-07 00:01	1.0K
	pvsintro.blg	2002-03-07 00:00	1.2K
	pvsintro.bbl	2002-03-07 00:00	699
	STABLE.tex	2002-03-06 23:45	4.8K
	STABLE.log	2002-03-06 23:45	2.7K
	STABLE.dvi	2002-03-06 23:45	3.0K
	STABLE.aux	2002-03-06 23:45	8
	pvs-files.log	2002-03-06 23:40	4.0K
	pvs-files.dvi	2002-03-06 23:40	3.0K
	pvs-files.aux	2002-03-06 23:40	31
	pvs-files.tex	2002-03-06 23:40	243
	STAB.tex	2002-03-06 23:40	4.8K
	pvs.sty	2002-03-06 23:30	695
	STAB.log	2002-03-06 23:27	956
	max.prf	2002-03-06 23:25	243
	orphaned-proofs.prf	2002-03-06 23:22	0
	algo.intro.tex	2002-03-06 22:31	32K
	max.pvs	2002-03-06 17:52	411
	test1.prf	2002-03-06 13:32	228
	test1.pvs	2002-03-06 13:26	315
	test.prf	2002-03-06 11:07	38
	test.pvs	2002-03-06 10:54	100