we added some comments

[helm.git] / matita / matita / lib / lambda / types.ma

diff --git a/matita/matita/lib/lambda/types.ma b/matita/matita/lib/lambda/types.ma
index 2a89549d6361863f3c2951c60bda4159c61c6930..543b3b7b9e8dd182580f781273b7e377df69a58f 100644 (file)
--- 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.
- 
-  
- 
-
-
-
-
-