From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 12 May 2005 09:01:45 +0000 (+0000)
Subject: handling of variables with body
X-Git-Tag: single_binding~84
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=71215a7e5b10535b538776680dce5dc02e118c2f;hp=71215a7e5b10535b538776680dce5dc02e118c2f;p=helm.git

handling of variables with body
---