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

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2012-03-20 21:53	7.1K
	2_1_1	2012-03-20 21:53	9.1K
	4_1_1	2012-03-20 21:53	7.9K
	6	2012-03-20 21:53	13K
	8	2012-03-20 21:53	24K
	9_1_1	2012-03-20 21:53	1.6K
	11_1_1	2012-03-20 21:53	9.1K
	12_1_1	2012-03-20 21:53	1.4K
	14	2012-03-20 21:53	11K
	15	2012-03-20 21:53	19K
	16_1_1	2012-03-20 21:53	1.4K
	17	2012-03-20 21:53	12K
	19_1_1	2012-03-20 21:53	75K
	20_1_1	2012-03-20 21:53	1.7K
	21	2012-03-20 21:53	41K
	22	2012-03-20 21:53	59K
	23	2012-03-20 21:53	72K
	24	2012-03-20 21:53	100K
	25	2012-03-20 21:53	126K
	27	2012-03-20 21:53	96K
	28_1_1	2012-03-20 21:53	30K
	29_1_1	2012-03-20 21:53	1.4K
	30	2012-03-20 21:53	40K
	31	2012-03-20 21:53	33K
	32_1_1	2012-03-20 21:53	1.2K
	33	2012-03-20 21:53	72K
	34	2012-03-20 21:53	11K
	36_1_1	2012-03-20 21:53	3.8K
	36_2_1	2012-03-20 21:53	3.7K