Index of /~mptp/html_abstr_930/proofs/prelamb

	Name	Last modified	Size	Description
	Parent Directory		-
	2_1_1	2006-07-12 03:19	1.4K
	5	2006-07-12 03:19	11K
	6	2006-07-12 03:19	3.4K
	11_1_1	2006-07-12 03:19	1.0K
	15_1_1	2006-07-12 03:19	2.0K
	16_1_1	2006-07-12 03:19	800
	17_1_1	2006-07-12 03:19	11K
	18	2006-07-12 03:19	4.0K
	19	2006-07-12 03:19	7.7K
	20	2006-07-12 03:19	1.8K
	21	2006-07-12 03:19	6.2K
	22	2006-07-12 03:19	6.2K
	23	2006-07-12 03:19	9.5K
	24	2006-07-12 03:19	9.5K
	25	2006-07-12 03:19	8.2K
	26	2006-07-12 03:19	7.8K
	27	2006-07-12 03:19	8.6K
	28	2006-07-12 03:19	2.7K
	30_1_1	2006-07-12 03:19	1.3K
	30_1_2	2006-07-12 03:19	2.8K
	31	2006-07-12 03:19	2.7K
	32	2006-07-12 03:19	2.9K
	34	2006-07-12 03:19	8.8K
	35_1_1	2006-07-12 03:19	16K
	35_1_2	2006-07-12 03:19	21K
	36_1_1	2006-07-12 03:19	34K
	38_1_1	2006-07-12 03:19	1.8K
	41_1_1	2006-07-12 03:19	13K
	43	2006-07-12 03:19	3.5K
	44	2006-07-12 03:19	3.5K
	45	2006-07-12 03:19	3.0K
	46	2006-07-12 03:19	3.5K
	47	2006-07-12 03:19	3.5K
	48	2006-07-12 03:19	3.0K
	49	2006-07-12 03:19	3.4K
	50	2006-07-12 03:19	3.4K
	51	2006-07-12 03:19	2.8K
	52	2006-07-12 03:19	2.4K
	53	2006-07-12 03:19	2.8K
	54	2006-07-12 03:19	4.4K
	55	2006-07-12 03:19	5.5K
	56	2006-07-12 03:19	3.9K
	57	2006-07-12 03:19	3.9K
	58	2006-07-12 03:19	1.8K
	59	2006-07-12 03:19	2.6K
	60	2006-07-12 03:19	1.4K
	61	2006-07-12 03:19	2.7K
	62	2006-07-12 03:19	4.0K
	63	2006-07-12 03:19	5.7K
	64	2006-07-12 03:19	2.5K
	66	2006-07-12 03:19	941
	67	2006-07-12 03:19	2.9K
	68	2006-07-12 03:19	11K
	69	2006-07-12 03:19	5.1K
	70	2006-07-12 03:19	3.3K
	71	2006-07-12 03:19	11K