Index of /~mptp/html_abstr_930/proofs/waybel22

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 03:27	5.9K
	2	2006-07-12 03:27	5.8K
	3	2006-07-12 03:27	1.3K
	4	2006-07-12 03:27	2.3K
	5	2006-07-12 03:27	3.0K
	6	2006-07-12 03:27	3.2K
	7	2006-07-12 03:27	1.1K
	8	2006-07-12 03:27	55K
	9_1_1	2006-07-12 03:27	849
	10_1_1	2006-07-12 03:27	2.2K
	12	2006-07-12 03:27	3.8K
	13	2006-07-12 03:27	5.6K
	14_1_1	2006-07-12 03:27	5.3K
	15	2006-07-12 03:27	2.2K
	16	2006-07-12 03:27	23K
	17	2006-07-12 03:27	100K
	18_1_1	2006-07-12 03:27	6.5K
	18_1_2	2006-07-12 03:27	9.0K
	19	2006-07-12 03:27	21K
	20	2006-07-12 03:27	19K
	21_1_1	2006-07-12 03:28	73K
	22_1_1	2006-07-12 03:28	215K
	23	2006-07-12 03:28	46K
	24	2006-07-12 03:28	158K
	25	2006-07-12 03:28	3.3K
	26	2006-07-12 03:28	15K
	27	2006-07-12 03:28	2.6K