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