Index of /~mptp/html_abstr_930/proofs/msualg_1

	Name	Last modified	Size	Description
	Parent Directory		-
	3_1_1	2006-07-12 03:51	3.0K
	3_2_1	2006-07-12 03:51	3.8K
	5_1_1	2006-07-12 03:51	2.2K
	5_2_1	2006-07-12 03:51	2.1K
	9_1_1	2006-07-12 03:51	2.9K
	10_1_1	2006-07-12 03:51	2.3K
	12_1_1	2006-07-12 03:51	1.0K
	12_2_1	2006-07-12 03:51	1.3K
	13_1_1	2006-07-12 03:51	2.9K
	13_2_1	2006-07-12 03:51	2.5K
	14_1_1	2006-07-12 03:51	1.1K
	15	2006-07-12 03:51	6.2K
	16	2006-07-12 03:51	2.6K
	17	2006-07-12 03:51	1.3K
	18	2006-07-12 03:51	1.0K
	21	2006-07-12 03:51	2.9K
	22	2006-07-12 03:51	10K
	23_1_1	2006-07-12 03:51	5.9K
	24_1_1	2006-07-12 03:51	9.3K
	25_1_1	2006-07-12 03:51	519
	26_1_1	2006-07-12 03:51	4.3K
	27_1_1	2006-07-12 03:51	20K
	29_1_1	2006-07-12 03:51	465
	30_1_1	2006-07-12 03:51	562
	31_1_1	2006-07-12 03:51	602
	32	2006-07-12 03:51	26K
	33	2006-07-12 03:51	1.5K
	34	2006-07-12 03:51	1.9K
	35	2006-07-12 03:51	9.6K
	37_1_1	2006-07-12 03:51	27K
	38	2006-07-12 03:51	2.4K
	39	2006-07-12 03:51	3.8K