From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 28 Sep 2012 20:48:41 +0000 (+0000)
Subject: additions to basic_2
X-Git-Tag: make_still_working~1503
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=acc8b104721a11f2ebf328c13f4b245b03003c87;hp=acc8b104721a11f2ebf328c13f4b245b03003c87;p=helm.git

additions to basic_2
---