coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [Coq Club]about MSets or FSets

From: ldou AT cs.ecnu.edu.cn
To: coq-club AT inria.fr
Subject: [Coq-Club] [Coq Club]about MSets or FSets
Date: Tue, 15 Nov 2011 16:17:52 +0800

Hi,guys
Sometimes we find the ListSet is hard to handle and is bringing some disadvantages in proof. We are suggested to use MSets or FSets. But few tutorials about that can be found . Could someone give us a detail example or related documents? Thanks a lot.

----------------
===========================================================
Best regards!

Lisa
===========================================================

[Coq-Club] [Coq Club]about MSets or FSets, ldou