From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 27 Mar 2011 19:37:04 +0000 (+0000)
Subject: Merge branch 'master' of http://git.megacz.com/coq-hetmet
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=50e3c41de96cf699e3617e702c426b5725173657

Merge branch 'master' of git.megacz.com/coq-hetmet
---

50e3c41de96cf699e3617e702c426b5725173657