Index of /~mptp/html_abstr_930/proofs/cat_5

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 02:43	260
	1_2_1	2006-07-12 02:43	260
	2_1_1	2006-07-12 02:43	258
	3	2006-07-12 02:43	18K
	5_1_1	2006-07-12 02:43	1.6K
	6	2006-07-12 02:43	2.5K
	7_1_1	2006-07-12 02:43	545
	7_2_1	2006-07-12 02:43	545
	8_1	2006-07-12 02:43	99K
	9_1	2006-07-12 02:43	51K
	10_1	2006-07-12 02:43	13K
	11	2006-07-12 02:43	9.9K
	12	2006-07-12 02:43	8.7K
	13_1_1	2006-07-12 02:43	96K
	14	2006-07-12 02:43	17K
	15	2006-07-12 02:43	16K
	16_1_1	2006-07-12 02:43	68K
	16_1_2	2006-07-12 02:43	3.9K
	17	2006-07-12 02:43	17K
	18	2006-07-12 02:43	1.1K
	19	2006-07-12 02:43	13K
	21_1_1	2006-07-12 02:43	1.4K
	22_1_1	2006-07-12 02:43	780
	25_1_1	2006-07-12 02:43	4.0K
	26	2006-07-12 02:43	19K
	27	2006-07-12 02:43	13K
	28_1_1	2006-07-12 02:43	1.7K
	29	2006-07-12 02:43	790
	30	2006-07-12 02:43	1.9K
	31_1_1	2006-07-12 02:43	595
	31_2_1	2006-07-12 02:43	595
	32	2006-07-12 02:43	26K
	33_1_1	2006-07-12 02:43	13K
	34	2006-07-12 02:43	23K
	36	2006-07-12 02:43	1.1K
	37_1_1	2006-07-12 02:43	2.7K
	38	2006-07-12 02:43	47K
	39	2006-07-12 02:43	9.4K
	41_1_1	2006-07-12 02:43	3.4K
	42	2006-07-12 02:43	12K
	43	2006-07-12 02:43	12K
	44	2006-07-12 02:43	4.3K
	45	2006-07-12 02:43	6.7K
	47_1_1	2006-07-12 02:43	1.6K
	47_2_1	2006-07-12 02:43	1.6K
	48	2006-07-12 02:43	2.4K
	49	2006-07-12 02:43	2.4K
	50	2006-07-12 02:43	4.8K
	51	2006-07-12 02:43	1.7K
	52	2006-07-12 02:43	1.7K
	53_1	2006-07-12 02:43	2.3K
	53_2	2006-07-12 02:43	2.8K
	53_3	2006-07-12 02:43	2.8K
	53_4_1	2006-07-12 02:43	5.0K
	53_4_2	2006-07-12 02:43	9.5K
	53_5	2006-07-12 02:43	2.4K
	53_6	2006-07-12 02:43	3.0K
	53_7	2006-07-12 02:43	2.8K
	53_8_1	2006-07-12 02:43	5.0K
	53_8_2	2006-07-12 02:43	9.5K
	54_1_1	2006-07-12 02:43	1.7K
	54_2_1	2006-07-12 02:43	1.8K
	54_3_1	2006-07-12 02:43	1.8K
	55	2006-07-12 02:43	4.8K
	56	2006-07-12 02:43	9.0K
	57_1_1	2006-07-12 02:43	1.7K
	57_2_1	2006-07-12 02:43	1.8K
	57_3_1	2006-07-12 02:43	1.8K
	58	2006-07-12 02:43	4.8K
	59	2006-07-12 02:43	9.0K
	60_1_1	2006-07-12 02:43	51K
	60_1_2	2006-07-12 02:43	5.7K
	60_2_1	2006-07-12 02:43	51K
	60_2_2	2006-07-12 02:43	5.7K
	61	2006-07-12 02:43	13K
	62	2006-07-12 02:43	13K