Index of /utk/people/jd-mannheim

	Name	Last modified	Size	Description
	Parent Directory		-
	set12.ps	1995-06-16 12:46	1.0M
	set22.ps	1995-06-16 12:46	562K
	oldset32.ps	1995-06-16 12:46	175K
	set42.ps	1995-06-16 12:46	4.3M
	set52.ps	1995-06-16 12:46	2.8M
	set32.ps	1995-06-20 15:05	3.2M