- the confluence of context-senstitive parallel reduction (cpr) is closed!

[helm.git] / matita / matita / contribs / lambda-delta / Basic-2 / grammar / item.ma

diff --git a/matita/matita/contribs/lambda-delta/Basic-2/grammar/item.ma b/matita/matita/contribs/lambda-delta/Basic-2/grammar/item.ma
index 43b2174d97492ded43c64b915aa79da0d3472c5b..ead47b5460bbaf8ce2add52ed54862dc94979010 100644 (file)
--- a/matita/matita/contribs/lambda-delta/Basic-2/grammar/item.ma
+++ b/matita/matita/contribs/lambda-delta/Basic-2/grammar/item.ma
@@ -14,6 +14,7 @@
 
 (* THE FORMAL SYSTEM λδ - MATITA SOURCE FILES
  * Specification started: 2011 April 17
+ * Confluence of context-sensitive parallel reduction closed: 2011 September 21
  * Confluence of context-free parallel reduction closed: 2011 September 6
  * - Patience on me so that I gain peace and perfection! -
  * [ suggested invocation to start formal specifications with ]