Re: [isabelle] Lists over a set

Am 27/07/2012 10:00, schrieb Stephan van Staden:
> Quick question:
> Is there an existing Isabelle theory for lists whose elements are members of a
> given set? I.e. a theory for lists over a given set?

Yes, in theory List there is a function lists :: 'a set => 'a list set

The document "What's in Main" may
also be helpful to find your way around the predefined concepts.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.