From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Wed, 11 Jul 2018 10:54:33 +0000 (+0200)
Subject: update in static_2 and app_2
X-Git-Tag: make_still_working~300
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=41b61472d2c475e0f69e3dfc85539da3ad2bac1e;hp=41b61472d2c475e0f69e3dfc85539da3ad2bac1e;p=helm.git

update in static_2 and app_2

+ advances on the support for models
+ tentative definition of shift (incomplete because unary binders are missing in terms)
+ minor updates and corrections
---