From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 9 Apr 2011 02:51:09 +0000 (+0000)
Subject: finish implementation of PreMonoidalFullsubcategory
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=2594faf30b5d3e44380460c937023556322324c7;hp=2594faf30b5d3e44380460c937023556322324c7

finish implementation of PreMonoidalFullsubcategory
---