Re: [isabelle] Multiset ordering vs. subset syntax



Hi Florian,

> I am not sure whether it would be best to do the swap in one step.

Well, I am sure that I donât want to do the swap in one step.

> In earlier days, we provided funny fix_foo tools (mostly perl scripts)
> which would assist in performing such transitions, and the multiset
> syntax IMHO looks feasible for this also.

I donât know how your fancy Perl scripts will deal with < and â, based on the type.

Jasmin





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