Index of /~mptp/html_abstr_930/proofs/amistd_2

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 02:55	1.0K
	1_2_1	2006-07-12 02:55	1.0K
	2_1_1	2006-07-12 02:55	958
	3	2006-07-12 02:55	2.8K
	4	2006-07-12 02:55	3.0K
	6	2006-07-12 02:55	2.3K
	7	2006-07-12 02:55	1.5K
	8_1_1	2006-07-12 02:55	11K
	8_1_2	2006-07-12 02:55	7.9K
	9	2006-07-12 02:55	6.8K
	10	2006-07-12 02:55	4.4K
	13_1_1	2006-07-12 02:55	2.2K
	14_1_1	2006-07-12 02:55	768
	15	2006-07-12 02:55	4.6K
	16	2006-07-12 02:55	3.3K
	17	2006-07-12 02:55	4.2K
	18	2006-07-12 02:55	7.9K
	19_1_1	2006-07-12 02:55	744
	20_1_1	2006-07-12 02:55	2.9K
	21_1_1	2006-07-12 02:55	21K
	22	2006-07-12 02:55	583
	23	2006-07-12 02:55	7.0K
	24	2006-07-12 02:55	1.5K
	25	2006-07-12 02:55	4.8K
	26_1_1	2006-07-12 02:55	1.0K
	27_1_1	2006-07-12 02:55	304
	28	2006-07-12 02:55	2.1K
	29	2006-07-12 02:55	1.9K
	30	2006-07-12 02:55	5.0K
	33	2006-07-12 02:55	5.4K
	35	2006-07-12 02:55	2.0K
	37_1_1	2006-07-12 02:55	1.1K
	41_1_1	2006-07-12 02:55	3.0K
	42_1_1	2006-07-12 02:55	312
	44	2006-07-12 02:55	7.2K
	45_1_1	2006-07-12 02:55	3.2K
	47_1_1	2006-07-12 02:55	3.9K
	48	2006-07-12 02:55	11K
	49_1_1	2006-07-12 02:55	7.3K
	50_1_1	2006-07-12 02:55	1.2K
	52_1_1	2006-07-12 02:55	2.0K
	53	2006-07-12 02:55	6.2K
	56	2006-07-12 02:55	1.7K
	58_1_1	2006-07-12 02:55	4.6K
	59_1_1	2006-07-12 02:55	4.1K
	61	2006-07-12 02:55	4.1K
	62	2006-07-12 02:55	2.9K
	64	2006-07-12 02:55	2.9K
	71	2006-07-12 02:55	1.8K
	72	2006-07-12 02:55	7.1K
	73	2006-07-12 02:55	1.3K
	74	2006-07-12 02:55	1.4K
	75_1_1	2006-07-12 02:55	3.7K
	77_1_1	2006-07-12 02:55	31K
	77_1_2	2006-07-12 02:55	17K
	78	2006-07-12 02:55	9.9K
	79	2006-07-12 02:55	8.0K
	81	2006-07-12 02:55	10K
	82	2006-07-12 02:55	3.9K
	83	2006-07-12 02:55	3.7K
	84	2006-07-12 02:55	16K
	85	2006-07-12 02:55	2.1K
	86	2006-07-12 02:55	1.8K
	87	2006-07-12 02:55	24K
	88_1_1	2006-07-12 02:55	13K
	88_1_2	2006-07-12 02:55	6.5K
	89_1_1	2006-07-12 02:55	1.0K
	90_1_1	2006-07-12 02:55	1.4K
	91_1_1	2006-07-12 02:55	824
	92_1_1	2006-07-12 02:55	800
	93	2006-07-12 02:55	4.0K
	94	2006-07-12 02:55	13K
	95_1_1	2006-07-12 02:55	24K
	95_1_2	2006-07-12 02:55	8.3K
	96_1_1	2006-07-12 02:55	2.6K
	97_1_1	2006-07-12 02:55	3.2K
	98_1_1	2006-07-12 02:55	4.0K
	99	2006-07-12 02:55	7.6K
	100	2006-07-12 02:55	3.8K
	101	2006-07-12 02:55	22K
	102	2006-07-12 02:55	20K
	107	2006-07-12 02:55	12K
	109	2006-07-12 02:55	6.9K
	111	2006-07-12 02:55	2.6K
	113_1_1	2006-07-12 02:55	41K
	114_1_1	2006-07-12 02:55	1.3K
	118	2006-07-12 02:55	12K
	119	2006-07-12 02:55	3.1K
	120_1_1	2006-07-12 02:55	4.5K
	122_1_1	2006-07-12 02:55	13K
	123	2006-07-12 02:55	7.2K
	124	2006-07-12 02:55	18K
	125	2006-07-12 02:55	5.1K
	128	2006-07-12 02:55	12K
	129_1_1	2006-07-12 02:55	26K
	130	2006-07-12 02:55	11K
	131	2006-07-12 02:55	31K
	132	2006-07-12 02:55	8.7K
	133	2006-07-12 02:55	17K
	134_1_1	2006-07-12 02:55	19K
	135_1_1	2006-07-12 02:55	24K
	137_1_1	2006-07-12 02:55	92K
	138	2006-07-12 02:55	8.0K
	139	2006-07-12 02:55	15K
	140	2006-07-12 02:55	21K
	141	2006-07-12 02:55	4.6K
	142	2006-07-12 02:55	235K