Index of /~mptp/html_abstr_930/proofs/monoid_0

	Name	Last modified	Size	Description
	Parent Directory		-
	3_1_1	2006-07-12 03:29	895
	3_2_1	2006-07-12 03:29	903
	5_1_1	2006-07-12 03:29	958
	6_1_1	2006-07-12 03:29	1.1K
	8_1_1	2006-07-12 03:29	408
	13	2006-07-12 03:29	9.3K
	14	2006-07-12 03:29	6.9K
	15	2006-07-12 03:29	17K
	16_1_1	2006-07-12 03:29	5.9K
	17_1_1	2006-07-12 03:29	4.4K
	17_2_1	2006-07-12 03:29	7.1K
	19_1_1	2006-07-12 03:29	3.3K
	20	2006-07-12 03:29	1.2K
	21	2006-07-12 03:29	7.5K
	22	2006-07-12 03:29	6.8K
	23	2006-07-12 03:29	4.6K
	24	2006-07-12 03:29	7.6K
	25	2006-07-12 03:29	3.3K
	26	2006-07-12 03:29	5.0K
	27	2006-07-12 03:29	5.0K
	28	2006-07-12 03:29	7.0K
	29	2006-07-12 03:29	5.4K
	30	2006-07-12 03:29	5.4K
	31	2006-07-12 03:29	7.8K
	32	2006-07-12 03:29	6.6K
	33	2006-07-12 03:29	22K
	34	2006-07-12 03:29	2.5K
	35	2006-07-12 03:29	2.5K
	36	2006-07-12 03:29	5.5K
	37_1_1	2006-07-12 03:29	1.3K
	38_5_1	2006-07-12 03:29	2.0K
	39_1_1	2006-07-12 03:29	6.8K
	40	2006-07-12 03:29	4.0K
	41	2006-07-12 03:29	959
	43	2006-07-12 03:29	935
	45_1_1	2006-07-12 03:29	6.1K
	47_1_1	2006-07-12 03:29	1.0K
	48_1_1	2006-07-12 03:29	1.1K
	49	2006-07-12 03:29	2.4K
	50_1_1	2006-07-12 03:29	2.2K
	51	2006-07-12 03:29	6.9K
	52_1_1	2006-07-12 03:29	1.3K
	53_1_1	2006-07-12 03:29	1.3K
	60_1_1	2006-07-12 03:29	3.7K
	61	2006-07-12 03:29	2.2K
	63_1_1	2006-07-12 03:29	758
	64_1_1	2006-07-12 03:29	858
	65_1_1	2006-07-12 03:29	6.6K
	66_1_1	2006-07-12 03:29	4.0K
	67_1_1	2006-07-12 03:29	2.2K
	68_1_1	2006-07-12 03:29	5.2K
	69_1_1	2006-07-12 03:29	3.5K
	70_1_1	2006-07-12 03:29	8.7K
	71	2006-07-12 03:29	790
	72_1_1	2006-07-12 03:29	1.2K
	73_1_1	2006-07-12 03:29	1.2K
	74_1_1	2006-07-12 03:29	875
	75_1_1	2006-07-12 03:29	2.3K
	76	2006-07-12 03:29	1.3K
	77	2006-07-12 03:29	6.2K
	78	2006-07-12 03:29	1.6K
	79	2006-07-12 03:29	3.5K
	80	2006-07-12 03:29	4.4K
	81	2006-07-12 03:29	2.9K
	82	2006-07-12 03:29	4.7K
	83	2006-07-12 03:29	2.7K
	84	2006-07-12 03:29	7.1K
	85	2006-07-12 03:29	5.2K
	86	2006-07-12 03:29	2.6K
	87	2006-07-12 03:29	3.9K
	88	2006-07-12 03:29	2.7K
	89	2006-07-12 03:29	4.9K
	90	2006-07-12 03:29	5.7K
	91	2006-07-12 03:29	1.6K
	92_1_1	2006-07-12 03:29	1.2K
	92_2_1	2006-07-12 03:29	1.2K
	93_1_1	2006-07-12 03:29	1.2K
	93_2_1	2006-07-12 03:29	1.2K
	95_2_1	2006-07-12 03:29	729
	96_2_1	2006-07-12 03:29	729
	97_2_1	2006-07-12 03:29	745
	98_2_1	2006-07-12 03:29	745
	100_1	2006-07-12 03:29	8.0K
	101_1	2006-07-12 03:29	5.4K
	102_1	2006-07-12 03:29	4.9K
	103_1	2006-07-12 03:29	4.2K
	106_1_1	2006-07-12 03:29	875
	107	2006-07-12 03:29	2.3K
	108	2006-07-12 03:29	4.6K
	109_1_1	2006-07-12 03:29	1.1K
	110_1_1	2006-07-12 03:29	7.3K
	111_1_1	2006-07-12 03:29	14K
	113_1_1	2006-07-12 03:29	4.2K
	114	2006-07-12 03:29	861
	115	2006-07-12 03:29	1.6K
	116	2006-07-12 03:29	1.4K
	117	2006-07-12 03:29	1.5K
	118	2006-07-12 03:29	1.4K
	119_1_1	2006-07-12 03:29	2.2K
	120	2006-07-12 03:29	2.3K
	121	2006-07-12 03:29	3.5K
	122_1_1	2006-07-12 03:29	14K
	124_1_1	2006-07-12 03:29	3.7K
	125	2006-07-12 03:29	687
	126	2006-07-12 03:29	2.1K
	127	2006-07-12 03:29	1.4K
	128	2006-07-12 03:29	1.0K
	129_1_1	2006-07-12 03:29	19K
	129_1_2	2006-07-12 03:29	6.1K
	130_2_1	2006-07-12 03:29	763
	131	2006-07-12 03:29	4.7K
	132	2006-07-12 03:29	2.8K
	133	2006-07-12 03:29	2.1K
	134	2006-07-12 03:29	2.0K
	135	2006-07-12 03:29	3.1K
	136	2006-07-12 03:29	1.3K
	137	2006-07-12 03:29	9.3K
	138	2006-07-12 03:29	1.6K
	139_1_1	2006-07-12 03:29	17K
	139_1_2	2006-07-12 03:29	5.5K
	140_2_1	2006-07-12 03:29	864
	141	2006-07-12 03:29	1.2K
	142	2006-07-12 03:29	4.7K
	143	2006-07-12 03:29	2.2K
	144	2006-07-12 03:29	1.4K
	145	2006-07-12 03:29	10K
	146	2006-07-12 03:29	1.3K
	147_1_1	2006-07-12 03:29	5.5K
	149	2006-07-12 03:29	1.2K
	150	2006-07-12 03:29	2.6K
	151	2006-07-12 03:29	1.3K
	152	2006-07-12 03:29	2.6K
	153_1_1	2006-07-12 03:29	15K
	153_1_2	2006-07-12 03:29	6.5K
	154	2006-07-12 03:29	2.4K
	155	2006-07-12 03:29	4.7K
	156	2006-07-12 03:29	3.6K
	157	2006-07-12 03:29	2.3K