- "grammar" component updated to new syntax ...

[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 56c5a2b8c1ef9738a638a05b144a31e1b8076fb7..48ff1ec9acf8448c1f48773a571343c298f1e628 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma
+++ b/matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma
@@ -13,10 +13,10 @@
 (**************************************************************************)
 
 (* 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! -
+ * Specification started: 2011 April 17
+ * - Patience on me to gain peace and perfection! -
  * [ suggested invocation to start formal specifications with ]
  *)