Index of /~mptp/html_abstr_930/proofs/abian

	Name	Last modified	Size	Description
	Parent Directory		-
	4_1_1	2006-07-12 03:54	2.2K
	5_1_1	2006-07-12 03:54	319
	5_2_1	2006-07-12 03:54	559
	5_3_1	2006-07-12 03:54	319
	5_4_1	2006-07-12 03:54	758
	6	2006-07-12 03:54	8.8K
	8_1_1	2006-07-12 03:54	800
	9_1_1	2006-07-12 03:54	1.1K
	10_1_1	2006-07-12 03:54	1.1K
	11_1_1	2006-07-12 03:54	828
	12_1_1	2006-07-12 03:54	1.1K
	13_1_1	2006-07-12 03:54	2.4K
	14_1_1	2006-07-12 03:54	1.6K
	15_1_1	2006-07-12 03:54	1.8K
	16_1_1	2006-07-12 03:54	1.9K
	17_1_1	2006-07-12 03:54	1.8K
	17_2_1	2006-07-12 03:54	1.8K
	18_1_1	2006-07-12 03:54	1.8K
	20	2006-07-12 03:54	1.0K
	21	2006-07-12 03:54	2.3K
	23_1_1	2006-07-12 03:54	1.6K
	27	2006-07-12 03:54	1.4K
	28_1_1	2006-07-12 03:54	1.5K
	29	2006-07-12 03:54	4.3K
	30_1_1	2006-07-12 03:54	16K
	30_1_2	2006-07-12 03:54	7.6K
	31	2006-07-12 03:54	5.5K
	32	2006-07-12 03:54	6.2K
	33_1_1	2006-07-12 03:54	3.5K
	34_1_1	2006-07-12 03:54	1.9K
	35_1_1	2006-07-12 03:54	920
	36_1_1	2006-07-12 03:54	490
	37	2006-07-12 03:54	264K