From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 5 Jun 2011 21:03:47 +0000 (-0700)
Subject: merge
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=18e57e2389c9d2a10f49715fe6234debac04215f;hp=-c

merge
---

18e57e2389c9d2a10f49715fe6234debac04215f