Index of /~mptp/html_abstr_930/proofs/monoid_1

	Name	Last modified	Size	Description
	Parent Directory		-
	3_1_1	2006-07-12 03:18	2.2K
	4_1_1	2006-07-12 03:18	1.9K
	7_1_1	2006-07-12 03:18	2.0K
	8_1_1	2006-07-12 03:18	2.3K
	9_1_1	2006-07-12 03:18	2.3K
	10	2006-07-12 03:18	16K
	11_1	2006-07-12 03:18	4.1K
	12_1_1	2006-07-12 03:18	3.6K
	12_1_2	2006-07-12 03:18	3.9K
	13	2006-07-12 03:18	7.1K
	14	2006-07-12 03:18	6.5K
	15	2006-07-12 03:18	11K
	16	2006-07-12 03:18	7.3K
	17	2006-07-12 03:18	3.9K
	18	2006-07-12 03:18	2.6K
	19	2006-07-12 03:18	4.9K
	20	2006-07-12 03:18	5.2K
	21	2006-07-12 03:18	3.1K
	22	2006-07-12 03:18	1.7K
	23	2006-07-12 03:18	18K
	24	2006-07-12 03:18	12K
	25	2006-07-12 03:18	12K
	26	2006-07-12 03:18	8.9K
	27	2006-07-12 03:18	22K
	29_1_1	2006-07-12 03:18	3.9K
	30	2006-07-12 03:18	3.5K
	31	2006-07-12 03:18	3.5K
	32	2006-07-12 03:18	1.2K
	34	2006-07-12 03:18	1.6K
	35	2006-07-12 03:18	1.7K
	36_1_1	2006-07-12 03:18	1.2K
	37_1_1	2006-07-12 03:18	1.2K
	38	2006-07-12 03:18	4.6K
	39_1_1	2006-07-12 03:18	3.5K
	40	2006-07-12 03:18	2.1K
	41	2006-07-12 03:18	8.2K
	42	2006-07-12 03:18	2.4K
	43	2006-07-12 03:18	5.2K
	44_1_1	2006-07-12 03:18	1.0K
	46	2006-07-12 03:18	2.4K
	48	2006-07-12 03:18	2.2K
	49	2006-07-12 03:18	1.0K
	50_1_1	2006-07-12 03:18	1.9K
	50_2_1	2006-07-12 03:18	1.7K
	51	2006-07-12 03:18	2.6K
	52	2006-07-12 03:18	2.1K
	54_1_1	2006-07-12 03:18	400
	56	2006-07-12 03:18	2.3K
	57	2006-07-12 03:18	1.9K
	58_1_1	2006-07-12 03:18	24K
	58_1_2	2006-07-12 03:18	7.3K
	59	2006-07-12 03:18	5.7K
	60	2006-07-12 03:18	19K
	61	2006-07-12 03:18	16K
	62_1_1	2006-07-12 03:18	615
	63_1_1	2006-07-12 03:18	2.6K
	63_1_2	2006-07-12 03:18	3.2K
	64	2006-07-12 03:18	2.3K
	65	2006-07-12 03:18	2.9K
	66	2006-07-12 03:18	8.4K
	67	2006-07-12 03:18	13K
	68	2006-07-12 03:18	16K
	69	2006-07-12 03:18	13K
	70	2006-07-12 03:18	12K
	71	2006-07-12 03:18	47K
	72_1_1	2006-07-12 03:18	3.9K
	72_1_2	2006-07-12 03:18	4.6K
	73	2006-07-12 03:18	2.6K
	74	2006-07-12 03:18	4.5K
	75	2006-07-12 03:18	10K
	76	2006-07-12 03:18	11K
	77	2006-07-12 03:18	30K
	78	2006-07-12 03:18	2.2K
	79	2006-07-12 03:18	4.6K
	80	2006-07-12 03:18	22K
	81	2006-07-12 03:18	4.9K
	82	2006-07-12 03:18	3.1K
	83	2006-07-12 03:18	17K
	85_1_1	2006-07-12 03:18	3.3K
	86_1_1	2006-07-12 03:18	2.2K
	87	2006-07-12 03:18	2.6K
	88	2006-07-12 03:18	1.7K
	89	2006-07-12 03:18	4.0K