From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

---
 theories/IntMap/Allmaps.v | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'theories/IntMap/Allmaps.v')

diff --git a/theories/IntMap/Allmaps.v b/theories/IntMap/Allmaps.v
index f9a0feac..d5af8f80 100644
--- a/theories/IntMap/Allmaps.v
+++ b/theories/IntMap/Allmaps.v
@@ -5,17 +5,12 @@
 (*    //   *      This file is distributed under the terms of the       *)
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
-(*i 	$Id: Allmaps.v 5920 2004-07-16 20:01:26Z herbelin $	 i*)
+(*i 	$Id: Allmaps.v 8733 2006-04-25 22:52:18Z letouzey $	 i*)
 
-Require Export Addr.
-Require Export Adist.
-Require Export Addec.
 Require Export Map.
-
 Require Export Fset.
 Require Export Mapaxioms.
 Require Export Mapiter.
-
 Require Export Mapsubset.
 Require Export Lsort.
 Require Export Mapfold.
-- 
cgit v1.2.3