- matitaInit matitaprover matitadep matitamake:

[helm.git] / matita / contribs / LAMBDA-TYPES / Base-2 / types / defs.mma

diff --git a/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma b/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma
index cad4f8024f8e362933444689a9b15fe89c1b60d9..000f283aa8d0cab53e4158511947ddc541ca42b4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma
+++ b/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma
@@ -18,9 +18,13 @@ set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/types/defs".
 
 include "preamble.ma".
 
+
 (* object and3 not inlined *)
 
 
+(* object and4 not inlined *)
+
+
 (* object or3 not inlined *)
 
 
@@ -74,4 +78,3 @@ include "preamble.ma".
 
 (* object ex6_7 not inlined *)
 
-