From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 14 Mar 2011 09:25:55 +0000 (-0700)
Subject: store the magic CoreVar for hetmet brak/esc in WeakExpr Esc/Brak
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=26733c04106397dc8a10396ce688e908e8d0cde7;hp=26733c04106397dc8a10396ce688e908e8d0cde7;p=coq-hetmet.git

store the magic CoreVar for hetmet brak/esc in WeakExpr Esc/Brak
---