From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 25 Mar 2011 18:16:00 +0000 (-0700)
Subject: add LetRec case to Rule_Flat
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=fc3e8057ee3c7a03e8c3ad764ea348a241d540fc;hp=fc3e8057ee3c7a03e8c3ad764ea348a241d540fc;p=coq-hetmet.git

add LetRec case to Rule_Flat
---