From: Adam Megacz <adam@megacz.com>
Date: Fri, 25 Mar 2011 23:16:27 +0000 (-0700)
Subject: fix Freyd Categories
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=4a45ee99fb19018cf30a34e361816c8ba960d638;hp=4a45ee99fb19018cf30a34e361816c8ba960d638

fix Freyd Categories
---