Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/pub/software/coq-hetmet
authorAdam Megacz <adam@megacz.com>
Sun, 15 May 2011 06:36:47 +0000 (23:36 -0700)
committerAdam Megacz <adam@megacz.com>
Sun, 15 May 2011 06:36:47 +0000 (23:36 -0700)

Trivial merge