From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 18 Nov 2011 12:06:38 +0000 (+0000)
Subject: intros macro fixed
X-Git-Tag: make_still_working~2094
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=04f6ca789cac88220234a3bdfb497844c417ef14;hp=04f6ca789cac88220234a3bdfb497844c417ef14;p=helm.git

intros macro fixed
---