Index of /~mptp/7.13.01_4.181.1147/html.std/proofs/birkhoff

	Name	Last modified	Size	Description
	Parent Directory		-
	2	2012-03-20 21:55	25K
	3_1	2012-03-20 21:55	180K
	4_1	2012-03-20 21:55	61K
	5_1	2012-03-20 21:55	11K
	6_1	2012-03-20 21:55	27K
	7_1	2012-03-20 21:55	38K
	8_1	2012-03-20 21:55	19K
	9_1	2012-03-20 21:55	31K
	10_1	2012-03-20 21:55	2.1K
	11_1	2012-03-20 21:55	21K
	12_1	2012-03-20 21:55	1.9K
	13_1	2012-03-20 21:55	68K
	14_1	2012-03-20 21:55	76K