From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Thu, 12 May 2011 05:04:51 +0000 (-0700)
Subject: rewrite {take,drop}_arg_types to avoid use of equality proofs
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=d684a61025d30f0ae06893298f126ae0072d6922;hp=d684a61025d30f0ae06893298f126ae0072d6922;p=coq-hetmet.git

rewrite {take,drop}_arg_types to avoid use of equality proofs
---