Re: [isabelle] Lists over a set
Great, thanks for the quick reply.
On 07/27/2012 10:12 AM, Tobias Nipkow wrote:
Am 27/07/2012 10:00, schrieb Stephan van Staden:
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" http://isabelle.in.tum.de/documentation.html may
also be helpful to find your way around the predefined concepts.
This archive was generated by a fusion of
Pipermail (Mailman edition) and