(* This file was automatically generated: do not edit *********************)
-include "types/defs.ma".
+include "Base-2/types/defs.ma".
-inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/types/props/ex2_sym.con".
+inline procedural "Base-1/types/props.ma".