X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=f8cddeac746cd99e6e705be9a0686ee2d0c9a131;hb=7a9a72fcbad46e7de5714a6a2eeb8b32e95e1ed5;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..f8cddeac7 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -46,10 +46,10 @@
files | 4 | characters | -3922 | +3926 | nodes | -3861 | +3637 |
propositions | @@ -191,6 +191,6 @@