Imported Upstream version 8.3~rc1+dfsgupstream/8.3.rc1.dfsg

19 files changed, 19 insertions, 19 deletions

diff --git a/theories/FSets/FMapAVL.v b/theories/FSets/FMapAVL.v
index 8158324e..7b64ded7 100644
--- a/theories/FSets/FMapAVL.v
+++ b/theories/FSets/FMapAVL.v
@@ -8,7 +8,7 @@
 
 (* Finite map library.  *)
 
-(* $Id$ *)
+(* $Id: FMapAVL.v 13090 2010-06-08 13:56:14Z herbelin $ *)
 
 (** * FMapAVL *)
 
diff --git a/theories/FSets/FMapFacts.v b/theories/FSets/FMapFacts.v
index 4c59971c..8944f7ce 100644
--- a/theories/FSets/FMapFacts.v
+++ b/theories/FSets/FMapFacts.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FMapFacts.v 12459 2009-11-02 18:51:43Z letouzey $ *)
 
 (** * Finite maps library *)
 
diff --git a/theories/FSets/FMapFullAVL.v b/theories/FSets/FMapFullAVL.v
index e4f8b4df..2b9e7077 100644
--- a/theories/FSets/FMapFullAVL.v
+++ b/theories/FSets/FMapFullAVL.v
@@ -8,7 +8,7 @@
 
 (* Finite map library.  *)
 
-(* $Id$ *)
+(* $Id: FMapFullAVL.v 13090 2010-06-08 13:56:14Z herbelin $ *)
 
 (** * FMapFullAVL
 
diff --git a/theories/FSets/FMapInterface.v b/theories/FSets/FMapInterface.v
index e60cca9d..bbfecfb1 100644
--- a/theories/FSets/FMapInterface.v
+++ b/theories/FSets/FMapInterface.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FMapInterface.v 12640 2010-01-07 15:32:49Z letouzey $ *)
 
 (** * Finite map library *)
 
diff --git a/theories/FSets/FMapList.v b/theories/FSets/FMapList.v
index 56fc35d8..4b7f183c 100644
--- a/theories/FSets/FMapList.v
+++ b/theories/FSets/FMapList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FMapList.v 12458 2009-11-02 18:50:33Z letouzey $ *)
 
 (** * Finite map library *)
 
diff --git a/theories/FSets/FMapPositive.v b/theories/FSets/FMapPositive.v
index 7c5a4fa1..30bce2db 100644
--- a/theories/FSets/FMapPositive.v
+++ b/theories/FSets/FMapPositive.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FMapPositive.v 13297 2010-07-19 23:32:42Z letouzey $ *)
 
 (** * FMapPositive : an implementation of FMapInterface for [positive] keys. *)
 
diff --git a/theories/FSets/FMapWeakList.v b/theories/FSets/FMapWeakList.v
index 38ed172b..db479ea8 100644
--- a/theories/FSets/FMapWeakList.v
+++ b/theories/FSets/FMapWeakList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FMapWeakList.v 12458 2009-11-02 18:50:33Z letouzey $ *)
 
 (** * Finite map library *)
 
diff --git a/theories/FSets/FMaps.v b/theories/FSets/FMaps.v
index 6b110240..75904202 100644
--- a/theories/FSets/FMaps.v
+++ b/theories/FSets/FMaps.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FMaps.v 10699 2008-03-19 20:56:43Z letouzey $ *)
 
 
 Require Export OrderedType OrderedTypeEx OrderedTypeAlt.
diff --git a/theories/FSets/FSetAVL.v b/theories/FSets/FSetAVL.v
index bc6c731f..2cbba723 100644
--- a/theories/FSets/FSetAVL.v
+++ b/theories/FSets/FSetAVL.v
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetAVL.v 12641 2010-01-07 15:32:52Z letouzey $ *)
 
 (** * FSetAVL : Implementation of FSetInterface via AVL trees *)
 
diff --git a/theories/FSets/FSetBridge.v b/theories/FSets/FSetBridge.v
index 7f8c51d6..c2d921be 100644
--- a/theories/FSets/FSetBridge.v
+++ b/theories/FSets/FSetBridge.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetBridge.v 13253 2010-07-07 08:39:30Z letouzey $ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetDecide.v b/theories/FSets/FSetDecide.v
index b7d6382e..497f4e6d 100644
--- a/theories/FSets/FSetDecide.v
+++ b/theories/FSets/FSetDecide.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetDecide.v 13171 2010-06-18 21:45:40Z letouzey $ *)
 
 (**************************************************************)
 (* FSetDecide.v                                               *)
diff --git a/theories/FSets/FSetEqProperties.v b/theories/FSets/FSetEqProperties.v
index ec0c6a55..ac55aef5 100644
--- a/theories/FSets/FSetEqProperties.v
+++ b/theories/FSets/FSetEqProperties.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetEqProperties.v 12400 2009-10-19 13:14:18Z letouzey $ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetFacts.v b/theories/FSets/FSetFacts.v
index b750edfc..45b43d83 100644
--- a/theories/FSets/FSetFacts.v
+++ b/theories/FSets/FSetFacts.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetFacts.v 12461 2009-11-03 08:24:06Z letouzey $ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetInterface.v b/theories/FSets/FSetInterface.v
index 8aede552..f366ed3e 100644
--- a/theories/FSets/FSetInterface.v
+++ b/theories/FSets/FSetInterface.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetInterface.v 12640 2010-01-07 15:32:49Z letouzey $ *)
 
 (** * Finite set library *)
 
diff --git a/theories/FSets/FSetList.v b/theories/FSets/FSetList.v
index f83259c4..9408ba05 100644
--- a/theories/FSets/FSetList.v
+++ b/theories/FSets/FSetList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetList.v 12641 2010-01-07 15:32:52Z letouzey $ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetProperties.v b/theories/FSets/FSetProperties.v
index 84c26dac..59e19cd3 100644
--- a/theories/FSets/FSetProperties.v
+++ b/theories/FSets/FSetProperties.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetProperties.v 12400 2009-10-19 13:14:18Z letouzey $ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSetToFiniteSet.v b/theories/FSets/FSetToFiniteSet.v
index 01138270..2aa1b433 100644
--- a/theories/FSets/FSetToFiniteSet.v
+++ b/theories/FSets/FSetToFiniteSet.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetToFiniteSet.v 12363 2009-09-28 15:04:07Z letouzey $ *)
 
 (** * Finite sets library : conversion to old [Finite_sets] *)
 
diff --git a/theories/FSets/FSetWeakList.v b/theories/FSets/FSetWeakList.v
index 711cbd9a..b55db37a 100644
--- a/theories/FSets/FSetWeakList.v
+++ b/theories/FSets/FSetWeakList.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSetWeakList.v 12641 2010-01-07 15:32:52Z letouzey $ *)
 
 (** * Finite sets library *)
 
diff --git a/theories/FSets/FSets.v b/theories/FSets/FSets.v
index 62a95734..a725c1eb 100644
--- a/theories/FSets/FSets.v
+++ b/theories/FSets/FSets.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: FSets.v 13297 2010-07-19 23:32:42Z letouzey $ *)
 
 Require Export OrderedType.
 Require Export OrderedTypeEx.