From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 5 Oct 2021 22:51:38 +0000 (+0200)
Subject: partial commit in static_2
X-Git-Tag: make_still_working~136
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98e786e1a6bd7b621e37ba7cd4098d4a0a6f8278;hp=98e786e1a6bd7b621e37ba7cd4098d4a0a6f8278;p=helm.git

partial commit in static_2

propagating the new ground library to static_2 begins
---