X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2FBasic_2%2Fgrammar%2Fitem.ma;fp=matita%2Fmatita%2Fcontribs%2Flambda_delta%2FBasic_2%2Fgrammar%2Fitem.ma;h=48ff1ec9acf8448c1f48773a571343c298f1e628;hb=18ac3a120a3887b144c1d0e13d64d6e1c2d10d93;hp=56c5a2b8c1ef9738a638a05b144a31e1b8076fb7;hpb=eac748dd6d912e84b3c78e682f9e40d90fb10acb;p=helm.git

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 56c5a2b8c..48ff1ec9a 100644
--- 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 ]
  *)