From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Dec 2011 16:35:41 +0000 (+0000)
Subject: Parentheses are now needed. I do not know why and when this has changed.
X-Git-Tag: make_still_working~2026
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=da5cf21f33e7303bf9b1fc60470de1f6101714dd;hp=da5cf21f33e7303bf9b1fc60470de1f6101714dd;p=helm.git

Parentheses are now needed. I do not know why and when this has changed.
---