From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 29 Apr 2011 22:09:11 +0000 (-0700)
Subject: remove many [[admit]]s from HaskProofFlattener.v
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=e7963896b900c33b7eda38044c14601eebe2e7fe;hp=e7963896b900c33b7eda38044c14601eebe2e7fe

remove many [[admit]]s from HaskProofFlattener.v
---