Fri, 13 May 2011 20:52:18 -0700 | Kevin Walker | rewriting colimit def; there's still a little more to do | file | diff | annotate |
Wed, 11 May 2011 14:39:21 -0700 | Kevin Walker | minor | file | diff | annotate |
Sun, 08 May 2011 09:05:53 -0700 | Kevin Walker | make sure poset of decomps is a small category; added to to-do list | file | diff | annotate |