X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Flambda%2Ftypes.ma;h=543b3b7b9e8dd182580f781273b7e377df69a58f;hb=b267e5e12f96cd421347af2e152d14c6325c060d;hp=2a89549d6361863f3c2951c60bda4159c61c6930;hpb=45c95bf073c4f4b422fbf9ca9497d03a17e3746e;p=helm.git

diff --git a/matita/matita/lib/lambda/types.ma b/matita/matita/lib/lambda/types.ma
index 2a89549d6..543b3b7b9 100644
--- a/matita/matita/lib/lambda/types.ma
+++ b/matita/matita/lib/lambda/types.ma
@@ -212,11 +212,3 @@ theorem substitution_tj:
    #G1 #D #N #Heq #tjN @dummy /2/ 
   ]
 qed.
- 
-  
- 
-
-
-
-
-