Index of /~mptp/7.13.01_4.181.1147/html.std/proofs/scmpds_1

	Name	Last modified	Size	Description
	Parent Directory		-
	3	2012-03-20 21:42	1.9K
	6_1_1	2012-03-20 21:42	10K
	10_1_1	2012-03-20 21:43	6.7K
	10_1_2	2012-03-20 21:43	12K