From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Wed, 15 Jun 2011 07:01:22 +0000 (-0700)
Subject: move to new normalization-based optimizer, add GArrowSkeleton.beautify
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=542be54b8968c631f0c397272cf05871ccef425b;hp=542be54b8968c631f0c397272cf05871ccef425b

move to new normalization-based optimizer, add GArrowSkeleton.beautify
---