From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 3 Apr 2011 04:57:51 +0000 (+0000)
Subject: major revision: MonoidalCat is now a subclass of PreMonoidalCat
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=27ffdd2265eb1c15acc62970f49d25a07bcadb05;hp=27ffdd2265eb1c15acc62970f49d25a07bcadb05

major revision: MonoidalCat is now a subclass of PreMonoidalCat
---