From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 27 May 2011 02:39:42 +0000 (-0700)
Subject: partial support for LetRec in flattener
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=a9a60dc234f76a4740b32c0f62aa0fe3a89fea83;hp=a9a60dc234f76a4740b32c0f62aa0fe3a89fea83

partial support for LetRec in flattener
---