From 2c46b9bc5ef09efffedc451ef386bb4dec89af1b Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 24 Jun 2003 12:22:21 +0000
Subject: suppression de FSets (redevient une contrib)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4205 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/FSets/FSet.v | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 theories/FSets/FSet.v

(limited to 'theories/FSets/FSet.v')

diff --git a/theories/FSets/FSet.v b/theories/FSets/FSet.v
deleted file mode 100644
index 66009e3acf..0000000000
--- a/theories/FSets/FSet.v
+++ /dev/null
@@ -1,16 +0,0 @@
-(***********************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team    *)
-(* <O___,, *        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              *)
-(*   \VV/  *************************************************************)
-(*    //   *      This file is distributed under the terms of the      *)
-(*         *       GNU Lesser General Public License Version 2.1       *)
-(***********************************************************************)
-
-(* $Id$ *)
-
-Require Export FSetInterface.
-Require Export FSetBridge.
-Require Export FSetProperties.
-Require Export FSetList.
-Require Export FSetRBT.
-
-- 
cgit v1.2.3