X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=8a540daee69cf1061a482b234a2eb8731e57f9e8;hb=4eebf1cf684c8a7946b71174ee6145673af49309;hp=b3301124aecbd6b3e16752e4a4c5b7aff98794ce;hpb=b2c1a95861424ba23e491e2b258f7413efbc1fba;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index b3301124a..8a540daee 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -46,10 +46,10 @@
characters | 3922 | nodes | -3861 | +3637 |
propositions | @@ -191,6 +191,6 @@