Index of /~mptp/8.1.05_5.37.1275/html/proofs/ring_1

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2016-08-26 19:29	3.8K
	2	2016-08-26 19:29	4.7K
	3	2016-08-26 19:29	6.1K
	12	2016-08-26 19:29	8.7K
	13	2016-08-26 19:29	26K
	14_1_1	2016-08-26 19:29	9.2K
	14_1_2	2016-08-26 19:29	14K
	15_1_1	2016-08-26 19:29	14K
	16	2016-08-26 19:29	9.4K
	17	2016-08-26 19:29	12K
	18	2016-08-26 19:29	8.5K
	19	2016-08-26 19:29	20K
	20	2016-08-26 19:29	18K
	21	2016-08-26 19:29	35K
	22_1_1	2016-08-26 19:29	43K
	22_1_2	2016-08-26 19:29	54K
	24_1_1	2016-08-26 19:29	1.6K
	25	2016-08-26 19:29	6.6K
	26	2016-08-26 19:29	5.0K
	27	2016-08-26 19:29	18K
	28	2016-08-26 19:29	23K
	30_1_1	2016-08-26 19:29	139K
	31_1_1	2016-08-26 19:29	4.8K
	32	2016-08-26 19:29	7.8K
	33	2016-08-26 19:29	25K
	34	2016-08-26 19:29	54K
	35	2016-08-26 19:29	17K
	36_1_1	2016-08-26 19:29	3.2K
	37_1_1	2016-08-26 19:29	92K
	38_1_1	2016-08-26 19:29	1.4K