X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fapps_2%2Fweb%2Fapps_2.ldw.xml;h=8b3db76c3a458aa729c9a0074b049f6dae0afaa1;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=dada75abda7b38e11af837a4401ee4a6aca8873f;hpb=e258362c37ec6d9132ec57bd5e4987d148c10799;p=helm.git
diff --git a/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml b/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml
index dada75abd..8b3db76c3 100644
--- a/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml
@@ -3,6 +3,7 @@