Index of /~mptp/html_abstr_930/proofs/measure7

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 03:37	10K
	2	2006-07-12 03:37	7.6K
	3	2006-07-12 03:37	18K
	4	2006-07-12 03:37	27K
	5	2006-07-12 03:37	4.0K
	6	2006-07-12 03:37	1.2K
	7_1_1	2006-07-12 03:37	430
	8_1_1	2006-07-12 03:37	5.4K
	8_1_2	2006-07-12 03:37	6.3K
	9	2006-07-12 03:37	3.9K
	10	2006-07-12 03:37	5.4K
	11	2006-07-12 03:37	18K
	12	2006-07-12 03:37	98K
	13	2006-07-12 03:37	2.9K
	14	2006-07-12 03:37	956
	15_1_1	2006-07-12 03:37	910
	17_1_1	2006-07-12 03:37	5.0K
	18_1_1	2006-07-12 03:37	668
	18_1_2	2006-07-12 03:37	1.1K
	19	2006-07-12 03:37	2.7K
	21_1_1	2006-07-12 03:37	3.8K
	21_1_2	2006-07-12 03:37	1.7K
	23_1_1	2006-07-12 03:37	2.5K
	23_1_2	2006-07-12 03:37	1.5K
	24	2006-07-12 03:37	3.9K
	25_1_1	2006-07-12 03:37	2.2K
	25_1_2	2006-07-12 03:37	1.1K
	26_1_1	2006-07-12 03:37	5.1K
	28_1_1	2006-07-12 03:37	3.0K
	28_1_2	2006-07-12 03:37	1.7K
	29_1_1	2006-07-12 03:37	4.5K
	29_1_2	2006-07-12 03:37	7.4K
	30_1_1	2006-07-12 03:37	4.5K
	30_1_2	2006-07-12 03:37	8.1K
	31_1_1	2006-07-12 03:37	16K
	31_1_2	2006-07-12 03:37	5.3K
	32	2006-07-12 03:37	165K
	33	2006-07-12 03:37	15K
	34	2006-07-12 03:37	82K