Index of /~mptp/html_abstr_930/proofs/necklace

	Name	Last modified	Size	Description
	Parent Directory		-
	2	2006-07-12 03:05	4.7K
	3	2006-07-12 03:05	5.3K
	4	2006-07-12 03:05	40K
	5	2006-07-12 03:05	1.8K
	6	2006-07-12 03:05	1.3K
	7_1_1	2006-07-12 03:05	702
	8_1_1	2006-07-12 03:05	3.2K
	9	2006-07-12 03:05	854
	10_1_1	2006-07-12 03:05	3.7K
	11_1_1	2006-07-12 03:05	2.8K
	12	2006-07-12 03:05	1.4K
	13	2006-07-12 03:05	35K
	14	2006-07-12 03:05	2.0K
	15	2006-07-12 03:05	12K
	16	2006-07-12 03:05	36K
	17_1	2006-07-12 03:05	13K
	18	2006-07-12 03:05	1.3K
	20_1_1	2006-07-12 03:05	2.7K
	21	2006-07-12 03:05	14K
	23	2006-07-12 03:05	1.9K
	27	2006-07-12 03:05	4.4K
	29_1_1	2006-07-12 03:05	6.6K
	30	2006-07-12 03:05	8.6K
	31	2006-07-12 03:05	11K
	32_1_1	2006-07-12 03:05	2.1K
	33_1_1	2006-07-12 03:05	7.6K
	34_1_1	2006-07-12 03:05	4.9K
	35_1_1	2006-07-12 03:05	2.8K
	36	2006-07-12 03:05	27K
	37_1_1	2006-07-12 03:05	1.9K
	38_1_1	2006-07-12 03:05	874
	39	2006-07-12 03:05	3.7K
	42	2006-07-12 03:05	8.8K
	43	2006-07-12 03:05	17K
	44_1_1	2006-07-12 03:05	9.4K
	45	2006-07-12 03:05	1.4K
	46_1_1	2006-07-12 03:05	691
	48	2006-07-12 03:05	3.8K
	49	2006-07-12 03:05	1.1K
	50	2006-07-12 03:05	27K
	51	2006-07-12 03:05	12K
	52	2006-07-12 03:05	6.0K
	53	2006-07-12 03:05	9.9K
	54	2006-07-12 03:05	23K
	55	2006-07-12 03:05	30K
	56	2006-07-12 03:05	117K
	57	2006-07-12 03:05	147K