Sat, 16 Jul 2011 12:22:23 -0600 | Kevin Walker | more typos from ref rpt | file | diff | annotate |
Fri, 15 Jul 2011 15:03:22 -0700 | Scott Morrison | several minor corrections, from referee | file | diff | annotate |
Tue, 05 Jul 2011 13:28:02 -0600 | Kevin Walker | fixing proof of 7.1.1 (product thm) | file | diff | annotate |