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

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2012-03-20 21:54	14K
	1_1_2	2012-03-20 21:54	11K
	2	2012-03-20 21:54	22K
	3_1_1	2012-03-20 21:54	13K
	4_1_1	2012-03-20 21:54	52K
	4_1_2	2012-03-20 21:54	182K
	5	2012-03-20 21:54	147K