From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 21 Dec 2018 23:06:14 +0000 (+0100)
Subject: comment
X-Git-Tag: make_still_working~229^2~1^2~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=848ec2487a5897048cce9783a53565251eb40eb8;hp=848ec2487a5897048cce9783a53565251eb40eb8;p=helm.git

comment
---