Index of /~sindo/Reports/INRIA-RR4312

	Name	Last modified	Size	Description
	Parent Directory		-
	INRIA-RR4312.pdf	2002-01-24 15:30	550K
	INRIA-RR4312.pdf.gz	2002-01-24 15:26	465K
	INRIA-RR4312.ps	2002-01-24 15:26	1.0M
	INRIA-RR4312.ps.gz	2002-01-24 15:26	208K