From: Adam Megacz <adam@megacz.com>
Date: Tue, 31 May 2011 05:57:45 +0000 (-0700)
Subject: fix bugs in BiGArrow
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=c07fa5072abe97b2a458a16cdae4299eef07746b;hp=c07fa5072abe97b2a458a16cdae4299eef07746b

fix bugs in BiGArrow
---