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