Index of /mpej/Vol/6/3.supp/Section8

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2000-03-23 21:44	457
	alpha.log	2000-03-23 21:44	1.5K
	fpoint.lm	2000-03-23 21:44	2.1M
	fpoint.lp	2000-03-23 21:45	2.1M
	proof.f	2000-03-23 21:45	62K
	run	2000-03-23 21:45	200