From: Adam Megacz <adam@megacz.com>
Date: Sat, 26 Mar 2011 07:06:26 +0000 (-0700)
Subject: add Retraction, SMME, make Enrichment a parameter
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=107e8eb4dc6e893c3dd93535c5343eba204659a8;hp=107e8eb4dc6e893c3dd93535c5343eba204659a8

add Retraction, SMME, make Enrichment a parameter
---