[isabelle] Lists over a set



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.