Sun, 25 Sep 2011 22:13:07 -0600 | Kevin Walker | small ref rpt item (I looked and there was nothing other than 5.1.5 and 7.3.1) | file | diff | annotate |
Wed, 10 Aug 2011 21:46:27 -0600 | Kevin Walker | another intermediate commit for fam-o-homeo lemma; found another flaw in proof | file | diff | annotate |
Wed, 10 Aug 2011 13:30:17 -0600 | Kevin Walker | intermediate commit -- not done yet | file | diff | annotate |
Wed, 10 Aug 2011 13:11:59 -0600 | Kevin Walker | intermediate commit -- not done yet | file | diff | annotate |