Index of /~mptp/html_abstr_930/proofs/instalg1

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 02:46	9.8K
	3	2006-07-12 02:46	3.8K
	4	2006-07-12 02:46	4.7K
	5_1_1	2006-07-12 02:46	504
	6	2006-07-12 02:46	4.8K
	7	2006-07-12 02:46	8.0K
	9	2006-07-12 02:46	2.1K
	10_1_1	2006-07-12 02:46	886
	10_2_1	2006-07-12 02:46	851
	10_3_1	2006-07-12 02:46	1.2K
	10_4_1	2006-07-12 02:46	1.1K
	11_1_1	2006-07-12 02:46	536
	12	2006-07-12 02:46	7.8K
	13	2006-07-12 02:46	2.2K
	14_1_1	2006-07-12 02:46	620
	15	2006-07-12 02:46	2.4K
	16_1_1	2006-07-12 02:46	4.7K
	17	2006-07-12 02:46	7.7K
	18	2006-07-12 02:46	2.7K
	19	2006-07-12 02:46	9.9K
	20	2006-07-12 02:46	2.1K
	21	2006-07-12 02:46	841
	22	2006-07-12 02:46	4.4K
	23	2006-07-12 02:46	4.3K
	24_1_1	2006-07-12 02:46	542
	25_1_1	2006-07-12 02:46	541
	26	2006-07-12 02:46	3.0K
	27	2006-07-12 02:46	3.3K
	28	2006-07-12 02:46	10K
	29_1_1	2006-07-12 02:46	19K
	31	2006-07-12 02:46	3.3K
	32	2006-07-12 02:46	1.9K
	33_1_1	2006-07-12 02:46	1.5K
	34	2006-07-12 02:46	3.5K
	35	2006-07-12 02:46	9.2K
	36	2006-07-12 02:46	4.0K
	37	2006-07-12 02:46	7.2K
	38	2006-07-12 02:46	9.1K
	39	2006-07-12 02:46	6.5K
	40	2006-07-12 02:46	5.3K
	41	2006-07-12 02:46	6.1K
	42	2006-07-12 02:46	3.5K
	43	2006-07-12 02:46	13K
	44	2006-07-12 02:46	15K
	45	2006-07-12 02:46	7.1K
	46	2006-07-12 02:46	20K
	47	2006-07-12 02:46	14K
	48	2006-07-12 02:46	2.6K
	49_1	2006-07-12 02:46	26K
	50	2006-07-12 02:46	3.6K
	52_1_1	2006-07-12 02:46	12K
	52_1_2	2006-07-12 02:46	15K
	53	2006-07-12 02:46	9.5K
	54	2006-07-12 02:46	22K
	55	2006-07-12 02:46	60K
	56	2006-07-12 02:46	29K
	57	2006-07-12 02:46	34K