5 files changed, 5 insertions, 5 deletions
diff --git a/theories/Sorting/Heap.v b/theories/Sorting/Heap.v
index b75aee610d..2d639d0968 100644
--- a/theories/Sorting/Heap.v
+++ b/theories/Sorting/Heap.v
@@ -12,7 +12,7 @@
 
 (* G. Huet 1-9-95 uses Multiset *)
 
-Require Import List Multiset Permutation Coq.Relations.Relations Sorting.
+Require Import List Multiset Permutation Relations Sorting.
 
 Section defs.
 
diff --git a/theories/Sorting/PermutEq.v b/theories/Sorting/PermutEq.v
index 97e4b02cca..f7bd37ee26 100644
--- a/theories/Sorting/PermutEq.v
+++ b/theories/Sorting/PermutEq.v
@@ -8,7 +8,7 @@
 
 (*i $Id$ i*)
 
-Require Import Omega Coq.Relations.Relations Setoid List Multiset Permutation.
+Require Import Omega Relations Setoid List Multiset Permutation.
 
 Set Implicit Arguments.
 
diff --git a/theories/Sorting/PermutSetoid.v b/theories/Sorting/PermutSetoid.v
index f0b849b6cf..814ef0408d 100644
--- a/theories/Sorting/PermutSetoid.v
+++ b/theories/Sorting/PermutSetoid.v
@@ -8,7 +8,7 @@
 
 (*i $Id$ i*)
 
-Require Import Omega Coq.Relations.Relations Multiset Permutation SetoidList.
+Require Import Omega Relations Multiset Permutation SetoidList.
 
 Set Implicit Arguments.
 
diff --git a/theories/Sorting/Permutation.v b/theories/Sorting/Permutation.v
index ee8c192a66..e9bbf88e3f 100644
--- a/theories/Sorting/Permutation.v
+++ b/theories/Sorting/Permutation.v
@@ -8,7 +8,7 @@
 
 (*i $Id$ i*)
 
-Require Import Coq.Relations.Relations List Multiset Arith.
+Require Import Relations List Multiset Arith.
 
 (** This file define a notion of permutation for lists, based on multisets: 
     there exists a permutation between two lists iff every elements have 
diff --git a/theories/Sorting/Sorting.v b/theories/Sorting/Sorting.v
index 8fed110fec..4c81731720 100644
--- a/theories/Sorting/Sorting.v
+++ b/theories/Sorting/Sorting.v
@@ -8,7 +8,7 @@
 
 (*i $Id$ i*)
 
-Require Import List Multiset Permutation Coq.Relations.Relations.
+Require Import List Multiset Permutation Relations.
 
 Set Implicit Arguments.