From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 14 Mar 2011 09:54:02 +0000 (-0700)
Subject: remove weakTypeOfWeakExpr and replaceWeakTypeVar, no longer required
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=5cfd103cffd56381262b2d280cbba88e0932f78a;hp=5cfd103cffd56381262b2d280cbba88e0932f78a

remove weakTypeOfWeakExpr and replaceWeakTypeVar, no longer required
---