Index of /~mptp/html_abstr_930/proofs/polynom2

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1	2006-07-12 02:49	12K
	2_1	2006-07-12 02:49	31K
	3_1	2006-07-12 02:49	12K
	4_1	2006-07-12 02:49	6.9K
	5_1	2006-07-12 02:49	6.6K
	6_1	2006-07-12 02:49	6.8K
	7	2006-07-12 02:49	5.5K
	8	2006-07-12 02:49	2.0K
	9	2006-07-12 02:49	12K
	10	2006-07-12 02:49	8.8K
	11_1_1	2006-07-12 02:49	1.0K
	12	2006-07-12 02:49	2.4K
	13	2006-07-12 02:49	2.3K
	14	2006-07-12 02:49	24K
	15	2006-07-12 02:49	28K
	16	2006-07-12 02:49	36K
	17	2006-07-12 02:49	48K
	18	2006-07-12 02:49	1.3K
	19	2006-07-12 02:49	3.0K
	20	2006-07-12 02:49	1.7K
	21	2006-07-12 02:49	67K
	22	2006-07-12 02:49	104K
	23	2006-07-12 02:49	30K
	24	2006-07-12 02:49	3.1K
	25	2006-07-12 02:49	4.4K
	27_1_1	2006-07-12 02:49	4.7K
	28_1_1	2006-07-12 02:49	2.0K
	29	2006-07-12 02:49	6.1K
	30_1_1	2006-07-12 02:49	1.0K
	31_1_1	2006-07-12 02:49	12K
	31_1_2	2006-07-12 02:49	17K
	32	2006-07-12 02:49	1.4K
	33	2006-07-12 02:49	6.9K
	34	2006-07-12 02:49	35K
	35	2006-07-12 02:49	101K
	36	2006-07-12 02:49	90K
	37	2006-07-12 02:49	222K
	38_1_1	2006-07-12 02:49	723
	39	2006-07-12 02:49	4.4K
	41	2006-07-12 02:49	13K
	43_1_1	2006-07-12 02:49	12K
	43_1_2	2006-07-12 02:49	17K
	44	2006-07-12 02:49	33K
	45	2006-07-12 02:49	9.5K
	46	2006-07-12 02:49	43K
	47	2006-07-12 02:49	46K
	48	2006-07-12 02:49	118K
	49	2006-07-12 02:49	121K
	50	2006-07-12 02:49	83K
	51	2006-07-12 02:49	3.4K
	52	2006-07-12 02:49	61K
	53	2006-07-12 02:49	85K
	54	2006-07-12 02:49	84K
	55_1_1	2006-07-12 02:49	6.2K
	55_1_2	2006-07-12 02:49	4.9K
	57_1_1	2006-07-12 02:49	2.0K
	58_1_1	2006-07-12 02:49	7.8K
	59_1_1	2006-07-12 02:49	7.8K
	60_1_1	2006-07-12 02:49	931