Tue, 05 Jul 2011 13:28:02 -0600 | Kevin Walker | fixing proof of 7.1.1 (product thm) | file | diff | annotate |
Wed, 29 Jun 2011 22:28:56 -0700 | Scott Morrison | changing example for no common refinement | file | diff | annotate |
Wed, 29 Jun 2011 16:21:11 -0700 | Scott Morrison | typos | file | diff | annotate |
Wed, 29 Jun 2011 11:51:35 -0700 | Scott Morrison | using consistent names for field in \S 7 | file | diff | annotate |
Wed, 29 Jun 2011 10:44:13 -0700 | Scott Morrison | very minor query | file | diff | annotate |
Sun, 08 May 2011 22:15:11 -0700 | Kevin Walker | oops -- 3 reverts | file | diff | annotate |