From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 14 Mar 2011 23:52:55 +0000 (-0700)
Subject: remove dead code from HaskWeak
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=b0303799b3deddd7a19b29be7852f6dafaf04325;hp=b0303799b3deddd7a19b29be7852f6dafaf04325

remove dead code from HaskWeak
---