From: Adam Megacz <megacz@gentzen.megacz.com>
Date: Thu, 26 May 2011 13:50:42 +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=88b7f0bfe8a73d221ea3d74a866c4be39ba7ffd8

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

88b7f0bfe8a73d221ea3d74a866c4be39ba7ffd8