8 files changed, 8 insertions, 8 deletions
diff --git a/theories/NArith/BinNat.v b/theories/NArith/BinNat.v
index 332e2104..e44b39f5 100644
--- a/theories/NArith/BinNat.v
+++ b/theories/NArith/BinNat.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: BinNat.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import BinPos.
 Unset Boxed Definitions.
diff --git a/theories/NArith/BinPos.v b/theories/NArith/BinPos.v
index 9cfb8893..a8f78df0 100644
--- a/theories/NArith/BinPos.v
+++ b/theories/NArith/BinPos.v
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: BinPos.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Unset Boxed Definitions.
 
diff --git a/theories/NArith/NArith.v b/theories/NArith/NArith.v
index 9b659750..9d2424bc 100644
--- a/theories/NArith/NArith.v
+++ b/theories/NArith/NArith.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: NArith.v 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 (** Library for binary natural numbers *)
 
diff --git a/theories/NArith/Ndec.v b/theories/NArith/Ndec.v
index dbea23e3..d6b1e718 100644
--- a/theories/NArith/Ndec.v
+++ b/theories/NArith/Ndec.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Ndec.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import Bool.
 Require Import Sumbool.
diff --git a/theories/NArith/Ndigits.v b/theories/NArith/Ndigits.v
index e21f1976..5151236f 100644
--- a/theories/NArith/Ndigits.v
+++ b/theories/NArith/Ndigits.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Ndigits.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import Bool.
 Require Import Bvector.
diff --git a/theories/NArith/Ndist.v b/theories/NArith/Ndist.v
index bbf38794..0e920242 100644
--- a/theories/NArith/Ndist.v
+++ b/theories/NArith/Ndist.v
@@ -5,7 +5,7 @@
 (*    //   *      This file is distributed under the terms of the       *)
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
-(*i 	     $Id$	      i*)
+(*i 	     $Id: Ndist.v 13323 2010-07-24 15:57:30Z herbelin $	      i*)
 
 Require Import Arith.
 Require Import Min.
diff --git a/theories/NArith/Nnat.v b/theories/NArith/Nnat.v
index dec7e927..49bbf7b7 100644
--- a/theories/NArith/Nnat.v
+++ b/theories/NArith/Nnat.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Nnat.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import Arith_base.
 Require Import Compare_dec.
diff --git a/theories/NArith/Pnat.v b/theories/NArith/Pnat.v
index 9f995502..1952470d 100644
--- a/theories/NArith/Pnat.v
+++ b/theories/NArith/Pnat.v
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Pnat.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import BinPos.