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

	Name	Last modified	Size	Description
	Parent Directory		-
	3	2016-08-26 19:34	29K
	4_1_1	2016-08-26 19:34	8.2K
	6	2016-08-26 19:34	8.2K
	8	2016-08-26 19:34	6.7K
	9	2016-08-26 19:34	50K
	11_1_1	2016-08-26 19:34	10K
	12_1_1	2016-08-26 19:34	19K
	13	2016-08-26 19:34	4.3K
	14_1_1	2016-08-26 19:34	1.4K
	17_1_1	2016-08-26 19:34	6.0K
	18	2016-08-26 19:34	4.8K
	22_1_1	2016-08-26 19:34	20K
	24	2016-08-26 19:34	39K
	26	2016-08-26 19:34	39K
	27	2016-08-26 19:34	11K
	28	2016-08-26 19:34	63K
	29	2016-08-26 19:34	61K
	30	2016-08-26 19:34	51K
	32	2016-08-26 19:34	106K
	33	2016-08-26 19:34	116K
	34	2016-08-26 19:34	275K