Removing Fset, since it is not used anymore.

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

1 files changed, 0 insertions, 25 deletions

diff --git a/lib/fset.mli b/lib/fset.mli
deleted file mode 100644
index b1751d0b9c..0000000000
--- a/lib/fset.mli
+++ /dev/null
@@ -1,25 +0,0 @@
-module Make : functor (X : Set.OrderedType) ->
-sig
-  type elt = X.t
-  type  t
-
-val empty :  t
-val is_empty :  t -> bool
-val mem : elt ->  t -> bool
-val add : elt ->  t ->  t
-val singleton : elt ->  t
-val remove : elt -> t -> t
-val union : t -> t -> t
-val inter : t -> t -> t
-val diff : t -> t -> t
-val compare : t -> t -> int
-val equal : t -> t -> bool
-val subset : t -> t -> bool
-val iter : ( elt -> unit) -> t -> unit
-val fold : (elt -> 'b -> 'b) -> t -> 'b -> 'b
-val cardinal : t -> int
-val elements : t -> elt list
-val min_elt : t -> elt
-val max_elt : t -> elt
-val choose : t -> elt
-end