(* Contribution to the Coq Library   V6.3 (July 1999)                    *)

(***************************************************************************)
(* Module: MSetBasis                                                       *)
(* auteur: alex@sysal.ibp.fr                                               *)
(* date: 19/10/95                                                          *)
(***************************************************************************)

(* Scratch level of ZF implementation                                      *)

Require Export ZFrelations.

(***************************************************************************)
(*                     Next module : MOrderedSet                           *)
(***************************************************************************)