From: Adam Megacz <adam@megacz.com>
Date: Mon, 21 Mar 2011 01:53:23 +0000 (-0700)
Subject: add formalization of Arrows and Freyd Categories
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=d490aac37c55dcdaaf3fca152846f13acbb447c6;hp=d490aac37c55dcdaaf3fca152846f13acbb447c6

add formalization of Arrows and Freyd Categories
---