Index of /~mptp/html_abstr_930/proofs/armstrng

	Name	Last modified	Size	Description
	Parent Directory		-
	2	2006-07-12 02:56	7.8K
	3_1_1	2006-07-12 02:56	7.5K
	4	2006-07-12 02:56	13K
	5_1	2006-07-12 02:56	3.1K
	6_1_1	2006-07-12 02:56	3.1K
	6_1_2	2006-07-12 02:56	1.4K
	9_1_1	2006-07-12 02:56	4.8K
	9_1_2	2006-07-12 02:56	1.3K
	10_1	2006-07-12 02:56	22K
	11	2006-07-12 02:56	11K
	14_1_1	2006-07-12 02:56	2.8K
	15	2006-07-12 02:56	22K
	16_1_1	2006-07-12 02:56	1.5K
	17_1_1	2006-07-12 02:56	1.8K
	18_1_1	2006-07-12 02:56	4.2K
	18_1_2	2006-07-12 02:56	4.5K
	19	2006-07-12 02:56	6.7K
	20	2006-07-12 02:56	8.3K
	21	2006-07-12 02:56	60K
	24_1_1	2006-07-12 02:56	1.1K
	28_1_1	2006-07-12 02:56	377
	29	2006-07-12 02:56	3.6K
	30	2006-07-12 02:56	2.1K
	33_1_1	2006-07-12 02:56	6.1K
	34	2006-07-12 02:56	3.2K
	37	2006-07-12 02:56	3.3K
	38	2006-07-12 02:56	2.3K
	40	2006-07-12 02:56	2.8K
	41_1_1	2006-07-12 02:56	5.0K
	42	2006-07-12 02:56	3.3K
	43	2006-07-12 02:56	3.3K
	44	2006-07-12 02:56	3.0K
	45_2_1	2006-07-12 02:56	18K
	49	2006-07-12 02:56	7.6K
	51	2006-07-12 02:56	8.8K
	52_1_1	2006-07-12 02:56	1.0K
	54_1_1	2006-07-12 02:56	731
	56	2006-07-12 02:56	1.3K
	57_1_1	2006-07-12 02:56	1.7K
	60_1_1	2006-07-12 02:56	2.8K
	60_2_1	2006-07-12 02:56	5.4K
	61_1_1	2006-07-12 02:56	923
	62	2006-07-12 02:56	1.2K
	63	2006-07-12 02:56	1.1K
	65	2006-07-12 02:56	19K
	66	2006-07-12 02:56	20K
	69	2006-07-12 02:56	14K
	70	2006-07-12 02:56	16K
	72	2006-07-12 02:56	28K
	73	2006-07-12 02:56	70K
	74_1_1	2006-07-12 02:56	2.0K
	75	2006-07-12 02:56	81K
	76_1_1	2006-07-12 02:56	3.8K
	78_1_1	2006-07-12 02:56	13K
	79	2006-07-12 02:56	3.4K
	80	2006-07-12 02:56	15K
	81_1_1	2006-07-12 02:56	7.0K
	82	2006-07-12 02:56	23K
	83	2006-07-12 02:56	8.6K
	84	2006-07-12 02:56	36K
	85_1_1	2006-07-12 02:56	5.7K
	86	2006-07-12 02:56	8.2K
	87	2006-07-12 02:56	20K
	88_1_1	2006-07-12 02:56	8.3K
	88_1_2	2006-07-12 02:56	2.0K
	89	2006-07-12 02:56	2.8K
	90	2006-07-12 02:56	14K
	91	2006-07-12 02:56	24K
	92	2006-07-12 02:56	25K
	94	2006-07-12 02:56	25K
	95	2006-07-12 02:56	10K
	96	2006-07-12 02:56	9.3K
	97	2006-07-12 02:56	7.2K
	98	2006-07-12 02:56	144K
	99	2006-07-12 02:56	5.2K
	100_1_1	2006-07-12 02:56	3.7K
	101	2006-07-12 02:56	12K
	105	2006-07-12 02:56	10K
	106	2006-07-12 02:56	29K
	107	2006-07-12 02:56	26K
	108	2006-07-12 02:56	121K
	110	2006-07-12 02:56	10K
	111	2006-07-12 02:56	21K
	113	2006-07-12 02:56	3.5K
	114	2006-07-12 02:56	28K
	115	2006-07-12 02:56	6.1K
	116	2006-07-12 02:56	15K
	118	2006-07-12 02:56	65K