From: Ferruccio Guidi Date: Fri, 16 Mar 2018 19:45:42 +0000 (+0100) Subject: update in basic_2 X-Git-Tag: make_still_working~352 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=54c9014b6657403c6e235c652176218e750d4b8a;hp=54c9014b6657403c6e235c652176218e750d4b8a;p=helm.git update in basic_2 + first results on fpbs + minor fixes ---