Index of /~mptp/html_abstr_930/proofs/yellow11

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 02:38	720
	2	2006-07-12 02:38	3.5K
	3	2006-07-12 02:38	4.2K
	4	2006-07-12 02:38	4.2K
	5	2006-07-12 02:38	931
	6	2006-07-12 02:38	2.6K
	7	2006-07-12 02:38	2.7K
	8	2006-07-12 02:38	2.7K
	9	2006-07-12 02:38	3.1K
	11_2_1	2006-07-12 02:38	127K
	13_2_1	2006-07-12 02:38	169K
	14	2006-07-12 02:38	394K
	15	2006-07-12 02:38	410K
	17_1_1	2006-07-12 02:38	2.4K
	18	2006-07-12 02:38	62K
	19	2006-07-12 02:38	9.1K
	20	2006-07-12 02:38	380K
	21	2006-07-12 02:38	11K
	22_1_1	2006-07-12 02:38	5.6K
	22_1_2	2006-07-12 02:38	5.1K
	24_1_1	2006-07-12 02:38	4.3K
	24_2_1	2006-07-12 02:38	4.3K
	26	2006-07-12 02:38	15K
	27_1_1	2006-07-12 02:38	7.1K
	28_1_1	2006-07-12 02:38	7.2K
	29	2006-07-12 02:38	51K
	30_1_1	2006-07-12 02:38	1.4K
	31_1_1	2006-07-12 02:38	8.2K
	32_1_1	2006-07-12 02:38	3.7K