From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 29 Mar 2011 11:13:13 +0000 (-0700)
Subject: reorganize flattening code
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=e3e2ce9cb83acdd8191049b4e9bd3d4fcf6a4db4;hp=e3e2ce9cb83acdd8191049b4e9bd3d4fcf6a4db4

reorganize flattening code
---