[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] Cardinality over strict subsets

To: "Sam Owre" <owre@xxxxxxxxxxx>
Subject: Re: [PVS-Help] Cardinality over strict subsets
From: "Jerry James" <loganjerry@xxxxxxxxx>
Date: Wed, 13 Aug 2008 17:22:46 -0600
Cc: PVS Help <pvs-help@xxxxxxxxxxx>, Jerome <jerome@xxxxxxxxxxxxxx>
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=J4mD4+v5ygHqhMPhzaTqIXdfms3rAbcn8sh+pNzIHcs=; b=kURICIhOGjwu+aAiK2kaiqD4QXbl0w5aoCYJcIrcJf9lKe6J4yam04d+XtjY2er7ia s2LFdKeoktDrF8pgKoeAcvy4u+Yq1NgRXZim9InY+8/gRYBgpiQHpire6AZmpT8E0msh Z96+mOGblu17RTVXhCM0StOOJ2PcWEkIYsPcY=
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=KL6UlFmNaife7dWT+VNf5V9qR6qNdqMV6ASCMGyZkE/SciE9vCDYSIxa87GpTLzrJ1 gaCbGifCtzZKTQIDrYM4Gsx8y5+pAgY7JXCiCn/HdHdC4X9zUcUWs+HKKkSQsfndUvqw I3rnKegSCd2t4SU4zbCY5vLBDEx+4srYB9YVc=
In-reply-to: <26507.1218669074@photon.csl.sri.com>
List-help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-id: PVS-Help <pvs-help.csl.sri.com>
List-post: <mailto:pvs-help@csl.sri.com>
List-subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>, <mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>, <mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
References: <20080813214647.GA10440@cs.caltech.edu> <870180fe0808131539t4cd42c16h6359b05f20957846@mail.gmail.com> <26507.1218669074@photon.csl.sri.com>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

On Wed, Aug 13, 2008 at 5:11 PM, Sam Owre <owre@xxxxxxxxxxx> wrote:
> I'm happy to add this to the prelude for the next release.
> Are there others like this that you know of belong in the
> prelude (or, if more specialized, in the finite_sets
> library)?

I can't think of any off-hand, but I'll let you know if I come up with
something.  Thanks!
-- 
Jerry James
http://loganjerry.googlepages.com/

Follow-Ups:
- Re: [PVS-Help] Cardinality over strict subsets
  - From: Jerome

References:
- [PVS-Help] Cardinality over strict subsets
  - From: Jerome
- Re: [PVS-Help] Cardinality over strict subsets
  - From: Jerry James
- Re: [PVS-Help] Cardinality over strict subsets
  - From: Sam Owre

Prev by Date: Re: [PVS-Help] Cardinality over strict subsets
Next by Date: Re: [PVS-Help] Cardinality over strict subsets
Previous by thread: Re: [PVS-Help] Cardinality over strict subsets
Next by thread: Re: [PVS-Help] Cardinality over strict subsets
Index(es):
- Date
- Thread