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

	Name	Last modified	Size	Description
	Parent Directory		-
	6	2012-03-20 21:53	7.8K
	8	2012-03-20 21:53	9.9K
	9	2012-03-20 21:53	15K
	10	2012-03-20 21:53	8.3K
	11_1_1	2012-03-20 21:53	3.7K
	11_2_1	2012-03-20 21:53	3.7K
	12	2012-03-20 21:53	12K
	13_1_1	2012-03-20 21:53	3.5K
	14	2012-03-20 21:53	7.8K
	15_1_1	2012-03-20 21:53	3.7K
	15_2_1	2012-03-20 21:53	3.7K
	16	2012-03-20 21:53	15K
	17	2012-03-20 21:53	45K
	18_1_1	2012-03-20 21:53	36K
	19	2012-03-20 21:53	38K
	20_1_1	2012-03-20 21:53	5.5K
	21	2012-03-20 21:53	2.8K
	22	2012-03-20 21:53	6.3K
	23	2012-03-20 21:53	7.0K
	24	2012-03-20 21:53	5.6K
	25_1_1	2012-03-20 21:53	18K
	26	2012-03-20 21:53	5.8K
	27	2012-03-20 21:53	13K
	28	2012-03-20 21:53	17K
	29_1_1	2012-03-20 21:53	45K
	30_1_1	2012-03-20 21:53	1.1K