Wed, 10 Aug 2011 21:46:27 -0600 another intermediate commit for fam-o-homeo lemma; found another flaw in proof
Kevin Walker <kevin@canyon23.net> [Wed, 10 Aug 2011 21:46:27 -0600] rev 876
another intermediate commit for fam-o-homeo lemma; found another flaw in proof
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 tip