From: Adam Megacz <adam@megacz.com>
Date: Sun, 15 May 2011 06:36:47 +0000 (-0700)
Subject: Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/pub/software/coq-hetmet
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=852d8660c841ea0812ff9315ae53eaf137ca0327

Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/pub/software/coq-hetmet
---

852d8660c841ea0812ff9315ae53eaf137ca0327