Index of /~mptp/html_abstr_930/proofs/wellfnd1

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 03:34	1.2K
	2_1_1	2006-07-12 03:34	486
	3	2006-07-12 03:34	1.9K
	4	2006-07-12 03:34	7.6K
	5_1	2006-07-12 03:34	1.9K
	8	2006-07-12 03:34	1.0K
	9	2006-07-12 03:34	1.8K
	10_1_1	2006-07-12 03:34	4.4K
	11	2006-07-12 03:34	1.9K
	12	2006-07-12 03:34	6.7K
	14_1_1	2006-07-12 03:34	4.1K
	16_1_1	2006-07-12 03:34	1.5K
	17_1_1	2006-07-12 03:34	4.0K
	18_1_1	2006-07-12 03:34	14K
	19	2006-07-12 03:34	4.6K
	20	2006-07-12 03:34	11K
	21	2006-07-12 03:34	15K
	22	2006-07-12 03:34	5.7K
	23_1	2006-07-12 03:34	6.1K
	24	2006-07-12 03:34	13K
	25_1	2006-07-12 03:34	7.2K
	27	2006-07-12 03:34	117K
	28	2006-07-12 03:34	49K
	29	2006-07-12 03:34	16K
	31	2006-07-12 03:34	22K