X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2FBasic_2%2Fgrammar%2Faarity.ma;h=15418582b1986f8699a48f153b375195ec0f1105;hb=44c1079dabf1d3c0b69d0155ddbaea8627ec901c;hp=61a9666b5cd3aa1112dd50cb291a574e8cd282f1;hpb=48b202cd4ccd3ffc10f9a134314f747fdee30d36;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/grammar/aarity.ma b/matita/matita/contribs/lambda_delta/Basic_2/grammar/aarity.ma
index 61a9666b5..15418582b 100644
--- a/matita/matita/contribs/lambda_delta/Basic_2/grammar/aarity.ma
+++ b/matita/matita/contribs/lambda_delta/Basic_2/grammar/aarity.ma
@@ -13,6 +13,7 @@
 (**************************************************************************)
 
 (* THE FORMAL SYSTEM λδ - MATITA SOURCE FILES
+ * Support for abstract candidates of reducibility closed: 2012 January 27
  * Confluence of context-sensitive parallel reduction closed: 2011 September 21
  * Confluence of context-free parallel reduction closed: 2011 September 6
  * Specification started: 2011 April 17