support for abstract candidates of reducibility closed! ...

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / grammar / aarity.ma

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 61a9666b5cd3aa1112dd50cb291a574e8cd282f1..15418582b1986f8699a48f153b375195ec0f1105 100644 (file)
--- 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