(* This file was automatically generated: do not edit *********************)
-include "ext/tactics.ma".
+include "Base-2/ext/tactics.ma".
-include "ext/arith.ma".
+include "Base-2/ext/arith.ma".
-include "types/props.ma".
+include "Base-2/types/props.ma".
-include "blt/props.ma".
+include "Base-2/blt/props.ma".
-include "plist/props.ma".
+include "Base-2/plist/props.ma".