[isabelle] Code generation for reverse sorting

Dear all,

for those of you who do not regularly check stackoverflow but might have
an answer to my question there (yes I am looking at you Florian ;) ) I'm
brazenly posting the link to my question here


In short, my question is: What is the easiest way to generate code for a
sorting algorithm that sorts its argument in reverse order, while
building on top of the existing List.sort?



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