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