From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 19 Mar 2011 21:15:11 +0000 (-0700)
Subject: add itmap and itree_to_tree
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=06ef4b8d0206389472bfdfeb38972d2b838e2852;hp=06ef4b8d0206389472bfdfeb38972d2b838e2852;p=coq-hetmet.git

add itmap and itree_to_tree
---