From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 26 Mar 2011 07:01:32 +0000 (-0700)
Subject: change fst_zip/snd_zip to axioms
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=f60f9ed58ad2ea12fd293dfbcc015c3ffb827a20;hp=f60f9ed58ad2ea12fd293dfbcc015c3ffb827a20;p=coq-hetmet.git

change fst_zip/snd_zip to axioms
---