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

	Name	Last modified	Size	Description
	Parent Directory		-
	3_1_1	2012-03-20 21:53	1.0K
	4	2012-03-20 21:53	15K
	5_1_1	2012-03-20 21:53	5.5K
	6	2012-03-20 21:53	26K
	7	2012-03-20 21:53	3.9K
	8	2012-03-20 21:53	20K
	9_1_1	2012-03-20 21:53	1.7K
	10_1_1	2012-03-20 21:53	1.7K
	11_1_1	2012-03-20 21:53	1.5K
	12_1_1	2012-03-20 21:53	4.3K
	13_1_1	2012-03-20 21:53	1.4K
	15	2012-03-20 21:53	5.0K
	17	2012-03-20 21:53	5.9K
	18_1_1	2012-03-20 21:53	3.0K
	19_1_1	2012-03-20 21:53	3.0K
	24_1_1	2012-03-20 21:53	15K
	25_1_1	2012-03-20 21:53	11K
	26_1_1	2012-03-20 21:53	23K
	27_1_1	2012-03-20 21:53	1.4K
	28_1_1	2012-03-20 21:53	1.0K
	30_1_1	2012-03-20 21:53	1.3K
	31	2012-03-20 21:53	13K
	32_1_1	2012-03-20 21:53	72K
	33	2012-03-20 21:53	38K
	34	2012-03-20 21:53	9.4K