7 files changed, 7 insertions, 7 deletions
diff --git a/theories/QArith/QArith.v b/theories/QArith/QArith.v
index 1b3ca6d6..c7f41de4 100644
--- a/theories/QArith/QArith.v
+++ b/theories/QArith/QArith.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: QArith.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Export QArith_base.
 Require Export Qring.
diff --git a/theories/QArith/QArith_base.v b/theories/QArith/QArith_base.v
index 9540968d..6b33c254 100644
--- a/theories/QArith/QArith_base.v
+++ b/theories/QArith/QArith_base.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: QArith_base.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Export ZArith.
 Require Export ZArithRing.
diff --git a/theories/QArith/Qcanon.v b/theories/QArith/Qcanon.v
index eb1508b3..4a2347d7 100644
--- a/theories/QArith/Qcanon.v
+++ b/theories/QArith/Qcanon.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Qcanon.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import Field.
 Require Import QArith.
diff --git a/theories/QArith/Qfield.v b/theories/QArith/Qfield.v
index 00500e31..0cf5413e 100644
--- a/theories/QArith/Qfield.v
+++ b/theories/QArith/Qfield.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Qfield.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Export Field.
 Require Export QArith_base.
diff --git a/theories/QArith/Qreals.v b/theories/QArith/Qreals.v
index 54682197..67bb0ffa 100644
--- a/theories/QArith/Qreals.v
+++ b/theories/QArith/Qreals.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Qreals.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Export Rbase.
 Require Export QArith_base.
diff --git a/theories/QArith/Qreduction.v b/theories/QArith/Qreduction.v
index 2fa2585d..456d305d 100644
--- a/theories/QArith/Qreduction.v
+++ b/theories/QArith/Qreduction.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Qreduction.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (** Normalisation functions for rational numbers. *)
 
diff --git a/theories/QArith/Qring.v b/theories/QArith/Qring.v
index 8943dc31..7f7a2d09 100644
--- a/theories/QArith/Qring.v
+++ b/theories/QArith/Qring.v
@@ -6,6 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Qring.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Export Qfield.