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