Tue, 09 Aug 2011 23:55:13 -0700 | Scott Morrison | relentless adding 'disk-like' everywhere it could possibly go | file | diff | annotate |
Sun, 07 Aug 2011 18:33:14 -0700 | Scott Morrison | minor: fixing common refinement example | file | diff | annotate |
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 |
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 |