propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble des fichiers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8639 85f007b7-540e-0410-9357-904b9bb8a0f7

20 files changed, 20 insertions, 20 deletions

diff --git a/theories/FSets/DecidableType.v b/theories/FSets/DecidableType.v
index 56bcb680df..1484ce8e30 100644
--- a/theories/FSets/DecidableType.v
+++ b/theories/FSets/DecidableType.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: DecidableType.v,v 1.3 2006/03/03 18:48:37 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export SetoidList.
 Set Implicit Arguments.
diff --git a/theories/FSets/FMap.v b/theories/FSets/FMap.v
index 6950039685..dac1b4396f 100644
--- a/theories/FSets/FMap.v
+++ b/theories/FSets/FMap.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSet.v,v 1.2 2004/12/08 19:19:24 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export FMapInterface.
 Require Export FMapList.
diff --git a/theories/FSets/FMapInterface.v b/theories/FSets/FMapInterface.v
index 828f5dc05e..32cacf4c0a 100644
--- a/theories/FSets/FMapInterface.v
+++ b/theories/FSets/FMapInterface.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FMapInterface.v,v 1.13 2006/02/27 15:39:43 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite map library *)  
 
diff --git a/theories/FSets/FMapList.v b/theories/FSets/FMapList.v
index a2005c1fef..43b3045ce8 100644
--- a/theories/FSets/FMapList.v
+++ b/theories/FSets/FMapList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetList.v,v 1.12 2006/03/10 10:49:48 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite map library *)
 
diff --git a/theories/FSets/FMapWeak.v b/theories/FSets/FMapWeak.v
index 9e377d1d07..7baeb2970d 100644
--- a/theories/FSets/FMapWeak.v
+++ b/theories/FSets/FMapWeak.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSet.v,v 1.2 2004/12/08 19:19:24 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export FMapWeakInterface.
 Require Export FMapWeakList.
diff --git a/theories/FSets/FMapWeakInterface.v b/theories/FSets/FMapWeakInterface.v
index 078d58d500..ddcd2f43f5 100644
--- a/theories/FSets/FMapWeakInterface.v
+++ b/theories/FSets/FMapWeakInterface.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FMapWeakInterface.v,v 1.4 2006/02/27 15:39:43 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite map library *) 
 
diff --git a/theories/FSets/FMapWeakList.v b/theories/FSets/FMapWeakList.v
index 89699f3f9e..f2a324acab 100644
--- a/theories/FSets/FMapWeakList.v
+++ b/theories/FSets/FMapWeakList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSet.v,v 1.2 2004/12/08 19:19:24 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite map library *)  
 
diff --git a/theories/FSets/FSet.v b/theories/FSets/FSet.v
index 232eb29125..51cd23c12c 100644
--- a/theories/FSets/FSet.v
+++ b/theories/FSets/FSet.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSet.v,v 1.2 2004/12/08 19:19:24 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export OrderedType.
 Require Export FSetInterface.
diff --git a/theories/FSets/FSetBridge.v b/theories/FSets/FSetBridge.v
index 4296f619fa..90539ff059 100644
--- a/theories/FSets/FSetBridge.v
+++ b/theories/FSets/FSetBridge.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetBridge.v,v 1.6 2006/03/09 18:34:51 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetEqProperties.v b/theories/FSets/FSetEqProperties.v
index 2abc207992..b27e082407 100644
--- a/theories/FSets/FSetEqProperties.v
+++ b/theories/FSets/FSetEqProperties.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetEqProperties.v,v 1.10 2006/03/14 23:52:28 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetFacts.v b/theories/FSets/FSetFacts.v
index 5cf2808c57..835ae610a4 100644
--- a/theories/FSets/FSetFacts.v
+++ b/theories/FSets/FSetFacts.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetFacts.v,v 1.6 2006/03/13 04:59:24 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetInterface.v b/theories/FSets/FSetInterface.v
index ff3d7e5788..02a80748c3 100644
--- a/theories/FSets/FSetInterface.v
+++ b/theories/FSets/FSetInterface.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetInterface.v,v 1.11 2006/03/10 10:49:48 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite set library *)
 
diff --git a/theories/FSets/FSetList.v b/theories/FSets/FSetList.v
index 444327574a..728aed9b33 100644
--- a/theories/FSets/FSetList.v
+++ b/theories/FSets/FSetList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetList.v,v 1.12 2006/03/10 10:49:48 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetProperties.v b/theories/FSets/FSetProperties.v
index a0d94f28a1..4aeda775c7 100644
--- a/theories/FSets/FSetProperties.v
+++ b/theories/FSets/FSetProperties.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetProperties.v,v 1.16 2006/03/13 04:59:24 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetWeak.v b/theories/FSets/FSetWeak.v
index 5fea8b6ea2..33c06dd6d4 100644
--- a/theories/FSets/FSetWeak.v
+++ b/theories/FSets/FSetWeak.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSet.v,v 1.2 2004/12/08 19:19:24 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export DecidableType.
 Require Export FSetWeakInterface.
diff --git a/theories/FSets/FSetWeakInterface.v b/theories/FSets/FSetWeakInterface.v
index adfa5f453f..2cf5d5d22d 100644
--- a/theories/FSets/FSetWeakInterface.v
+++ b/theories/FSets/FSetWeakInterface.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetWeakInterface.v,v 1.4 2006/02/27 15:39:44 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetWeakList.v b/theories/FSets/FSetWeakList.v
index 4b98474b16..0d2f96fdad 100644
--- a/theories/FSets/FSetWeakList.v
+++ b/theories/FSets/FSetWeakList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: FSetWeakList.v,v 1.8 2006/03/09 18:34:51 letouzey Exp $ *)
+(* $Id$ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/OrderedType.v b/theories/FSets/OrderedType.v
index 9cc4d283ca..ef8a1b8d7a 100644
--- a/theories/FSets/OrderedType.v
+++ b/theories/FSets/OrderedType.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: OrderedType.v,v 1.4 2006/03/10 10:49:48 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export SetoidList.
 Set Implicit Arguments.
diff --git a/theories/Lists/MoreList.v b/theories/Lists/MoreList.v
index f4456646ea..113703318f 100644
--- a/theories/Lists/MoreList.v
+++ b/theories/Lists/MoreList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: MoreList.v,v 1.4 2006/03/13 04:59:24 letouzey Exp $ *)
+(* $Id$ *)
 
 (** This file contains some complements to [List.v], in particular
   results about lengths of the different lists operations (but not only)
diff --git a/theories/Lists/SetoidList.v b/theories/Lists/SetoidList.v
index 728c9332af..b17e4677fb 100644
--- a/theories/Lists/SetoidList.v
+++ b/theories/Lists/SetoidList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id: Lib.v,v 1.2 2006/02/26 15:59:48 letouzey Exp $ *)
+(* $Id$ *)
 
 Require Export List.
 Require Export MoreList.