Index of /pub/IVRI

	Name	Last modified	Size	Description
	Parent Directory		-
	IVRI.ps	30-Apr-1996 13:34	45K
	IVRI.tex	30-Apr-1996 13:33	4.9K
	README	30-Apr-1996 13:35	203
	format.ps	30-Apr-1996 13:33	43K
	format.tex	30-Apr-1996 13:34	6.5K