Index of /~mptp/html_abstr_930/proofs/sprect_4

	Name	Last modified	Size	Description
	Parent Directory		-
	2	2006-07-12 03:04	75K
	3	2006-07-12 03:04	3.5K
	4	2006-07-12 03:04	13K
	5	2006-07-12 03:04	30K
	6	2006-07-12 03:04	93K
	7	2006-07-12 03:04	1.8M
	8	2006-07-12 03:04	5.1K
	9	2006-07-12 03:04	4.3K