From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Jul 2003 15:21:24 +0000 (+0000)
Subject: mathvariant=normal for all the proof ;-)
X-Git-Tag: LucaOK~25
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ec350d553d0da4c2bdcf7504057ceb481217ac47;hp=ec350d553d0da4c2bdcf7504057ceb481217ac47;p=helm.git

mathvariant=normal for all the proof ;-)
---