Index of /ftp-data/pub/people/trevor

	Name	Last modified	Size	Description
	Parent Directory		-
	fac.ps.gz	1992-01-21 11:27	112K
	fac.dvi.gz	1992-01-31 13:45	63K
	principal-typings.ps.gz	1995-11-30 17:00	80K
	ranktwo.ps.gz	1995-11-30 17:03	137K
	00Index	1995-12-04 18:51	857