X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fweb%2Fbasic_2.ldw.xml;h=e40771d8e9b64d16545e0ed4c57a2c82d65d097e;hb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;hp=74e37e0da517a4e683ead31fee09b2b4212e8922;hpb=c7b50fec51b9a25d5bc536f44e54179fd53efb44;p=helm.git
diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
index 74e37e0da..e40771d8e 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
@@ -101,6 +101,9 @@
Stage "A"
+
+ λδ-2A is repackaged (was λδ-2A1).
+
λδ-2A appears too complex and is dismissed.