store the magic CoreVar for hetmet brak/esc in WeakExpr Esc/Brak
[coq-hetmet.git] / .gitignore
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code