From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Thu, 2 Jun 2011 02:02:59 +0000 (-0700)
Subject: add support for flattening recursive-let
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=3282a2b78028238987a5a49e59d8e8d495aea0e1;hp=3282a2b78028238987a5a49e59d8e8d495aea0e1

add support for flattening recursive-let
---