6 files changed, 6 insertions, 6 deletions
diff --git a/theories/Lists/List.v b/theories/Lists/List.v
index bc55ef02..c4957578 100644
--- a/theories/Lists/List.v
+++ b/theories/Lists/List.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: List.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import Le Gt Minus Min Bool.
 
diff --git a/theories/Lists/ListSet.v b/theories/Lists/ListSet.v
index 9978f5bc..2833ca3e 100644
--- a/theories/Lists/ListSet.v
+++ b/theories/Lists/ListSet.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: ListSet.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (** A Library for finite sets, implemented as lists *)
 
diff --git a/theories/Lists/ListTactics.v b/theories/Lists/ListTactics.v
index c7d37dd9..5de2780a 100644
--- a/theories/Lists/ListTactics.v
+++ b/theories/Lists/ListTactics.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: ListTactics.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Require Import BinPos.
 Require Import List.
diff --git a/theories/Lists/SetoidList.v b/theories/Lists/SetoidList.v
index d42e71e5..ec31f37d 100644
--- a/theories/Lists/SetoidList.v
+++ b/theories/Lists/SetoidList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: SetoidList.v 12919 2010-04-10 16:30:44Z herbelin $ *)
 
 Require Export List.
 Require Export Sorting.
diff --git a/theories/Lists/Streams.v b/theories/Lists/Streams.v
index feb8c654..e07347a0 100644
--- a/theories/Lists/Streams.v
+++ b/theories/Lists/Streams.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: Streams.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 Set Implicit Arguments.
 
diff --git a/theories/Lists/TheoryList.v b/theories/Lists/TheoryList.v
index bb5c7b17..aa1b099b 100644
--- a/theories/Lists/TheoryList.v
+++ b/theories/Lists/TheoryList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: TheoryList.v 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (** Some programs and results about lists following CAML Manual *)