From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 20 Mar 2011 09:44:20 +0000 (-0700)
Subject: get rid of a bunch of admits in HaskStrongToProof
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=96ea5272fe6ec62022351f69289eedd330322eb4;hp=96ea5272fe6ec62022351f69289eedd330322eb4;p=coq-hetmet.git

get rid of a bunch of admits in HaskStrongToProof
---