X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Flambda%2Flambda_notation.ma;h=596424938e459fb0e62d51f5e8fd0bc5d13b475b;hb=6e7aeeede341ed115191782ca597abf0ffc86564;hp=a5fb014ed7d284cc6cc493bd969c351baa297ef6;hpb=2a33a51a4749ca91dfaa488b9c0d2a286265cf99;p=helm.git

diff --git a/matita/matita/lib/lambda/lambda_notation.ma b/matita/matita/lib/lambda/lambda_notation.ma
index a5fb014ed..596424938 100644
--- a/matita/matita/lib/lambda/lambda_notation.ma
+++ b/matita/matita/lib/lambda/lambda_notation.ma
@@ -12,8 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(* NOTATION FOR THE LAMBDA CALCULUS *******************************************)
-
+(* NOTATION FOR THE LAMBDA CALCULUS *)
 (* equivalence, invariance *)
 
 notation "hvbox(a break ≅ b)"