Re: [isabelle] Multiset ordering vs. subset syntax
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and