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

	Name	Last modified	Size	Description
	Parent Directory		-
	wift-tutorial.ps.gz	2002-06-11 11:21	198K
	phone4.pvs	2002-04-10 23:11	729
	phone4.prf	2002-04-10 23:16	406
	phone4.bin	2002-04-10 23:25	29K
	phone3.pvs	2002-04-10 22:47	1.1K
	phone3.prf	2002-04-10 21:20	77
	phone2.pvs	2002-04-10 20:52	844
	phone2.prf	2002-04-10 20:48	65
	phone1.pvs	2002-04-10 19:23	379
	phone1.prf	2002-04-10 19:23	43
	phone1.bin	2002-04-10 23:25	16K
	phone0.pvs	2002-04-10 20:53	745
	phone0.prf	2002-04-10 20:32	408
	p.ps	2002-04-12 09:27	24K
	orphaned-proofs.prf	2002-04-10 20:48	144