(* This file was automatically generated: do not edit *********************)
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/theory".
+include "Base-1/ext/tactics.ma".
-include "ext/tactics.ma".
+include "Base-1/ext/arith.ma".
-include "ext/arith.ma".
+include "Base-1/types/props.ma".
-include "types/props.ma".
+include "Base-1/blt/props.ma".
-include "blt/props.ma".
-
-include "plist/props.ma".
+include "Base-1/plist/props.ma".