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=dac657eb326a2e9e51d7dd33dd6c0b511194bc36;hb=fdb2c62b58006b82c015ba70b494d50c7860e28f;hp=158c020398daf98fb7cee246ad1892b511ee451f;hpb=4aa431513ffa0ce0accf81e6e9ea4b9314d468e3;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 158c02039..dac657eb3 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
@@ -22,10 +22,10 @@