6 files changed, 7 insertions, 7 deletions
diff --git a/theories/ZArith/Zabs.v b/theories/ZArith/Zabs.v
index f648867aa..c7f0bb723 100644
--- a/theories/ZArith/Zabs.v
+++ b/theories/ZArith/Zabs.v
@@ -9,7 +9,7 @@
 
 (** Binary Integers (Pierre Crégut (CNET, Lannion, France) *)
 
-Require Import Arith.
+Require Import Arith_base.
 Require Import BinPos.
 Require Import BinInt.
 Require Import Zorder.
@@ -127,4 +127,4 @@ Proof.
   compute in |- *. intro H0. discriminate H0. intuition.
 
   intros. absurd (0 <= Zneg p). compute in |- *. auto with arith. intuition.
-Qed.
-\ No newline at end of file
+Qed.
diff --git a/theories/ZArith/Zmax.v b/theories/ZArith/Zmax.v
index ca647ff3c..b2c068564 100644
--- a/theories/ZArith/Zmax.v
+++ b/theories/ZArith/Zmax.v
@@ -7,7 +7,7 @@
 (************************************************************************)
 (*i $Id$ i*)
 
-Require Import Arith.
+Require Import Arith_base.
 Require Import BinInt.
 Require Import Zcompare.
 Require Import Zorder.
diff --git a/theories/ZArith/Zmin.v b/theories/ZArith/Zmin.v
index a1e46fa5f..0e0caa1bd 100644
--- a/theories/ZArith/Zmin.v
+++ b/theories/ZArith/Zmin.v
@@ -12,7 +12,7 @@
     from Russell O'Connor (Radbout U., Nijmegen, The Netherlands).
  *)
 
-Require Import Arith.
+Require Import Arith_base.
 Require Import BinInt.
 Require Import Zcompare.
 Require Import Zorder.
diff --git a/theories/ZArith/Znat.v b/theories/ZArith/Znat.v
index 8a18798c2..27f31bf83 100644
--- a/theories/ZArith/Znat.v
+++ b/theories/ZArith/Znat.v
@@ -10,7 +10,7 @@
 
 (** Binary Integers (Pierre Crégut, CNET, Lannion, France) *)
 
-Require Export Arith.
+Require Export Arith_base.
 Require Import BinPos.
 Require Import BinInt.
 Require Import Zcompare.
diff --git a/theories/ZArith/Zorder.v b/theories/ZArith/Zorder.v
index e26754505..4b0d2562e 100644
--- a/theories/ZArith/Zorder.v
+++ b/theories/ZArith/Zorder.v
@@ -11,7 +11,7 @@
 
 Require Import BinPos.
 Require Import BinInt.
-Require Import Arith.
+Require Import Arith_base.
 Require Import Decidable.
 Require Import Zcompare.
 
diff --git a/theories/ZArith/auxiliary.v b/theories/ZArith/auxiliary.v
index c6b398110..18b49f4bb 100644
--- a/theories/ZArith/auxiliary.v
+++ b/theories/ZArith/auxiliary.v
@@ -10,7 +10,7 @@
 
 (** Binary Integers (Pierre Crégut, CNET, Lannion, France) *)
 
-Require Export Arith.
+Require Export Arith_base.
 Require Import BinInt.
 Require Import Zorder.
 Require Import Decidable.