From: Adam Megacz Date: Mon, 30 May 2011 14:11:57 +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=4650f4f93b6ebb7c3aca938ecb67ec1d4fb8a7fe Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/.pub/software/coq-hetmet --- 4650f4f93b6ebb7c3aca938ecb67ec1d4fb8a7fe