From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 10 Apr 2011 19:37:53 +0000 (+0000)
Subject: bugfix in ReificationsIsomorphicToGeneralizedArrows
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=443ffa2812bff032a13e33010e8fd1380f7215f1;hp=443ffa2812bff032a13e33010e8fd1380f7215f1

bugfix in ReificationsIsomorphicToGeneralizedArrows
---