[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] Cardinality over strict subsets
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
I can't think of any off-hand, but I'll let you know if I come up with