From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 25 Jun 2016 17:52:28 +0000 (+0000)
Subject: totality of co-composition !
X-Git-Tag: make_still_working~558
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=5b93ea047903b606979705ed25a6df6504fd027c;hp=5b93ea047903b606979705ed25a6df6504fd027c;p=helm.git

totality of co-composition !
---