Re: [isabelle] Lists over a set



Try List.lists :: 'a set => 'a list set

Peter

On Fr, 2012-07-27 at 10:00 +0200, Stephan van Staden wrote:
> 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?
> 
> Thanks,
> Stephan







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