(* This file was automatically generated: do not edit *********************)
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/types/defs".
-
include "preamble.ma".
+
(* object and3 not inlined *)
+(* object and4 not inlined *)
+
+
+(* object and5 not inlined *)
+
+
(* object or3 not inlined *)
(* object ex6_7 not inlined *)
-