On Wed, 24 Oct 2012, Christian Sternagel wrote:
On 10/23/2012 08:17 PM, Makarius wrote:
(Next time I will tell a story how an efficient and fully verified
merge-sort function included in the core sources caused several days of
Please tell the story.
I will try, but it has to be shorter than usual: I've just returned from
travel and I am preparing for the next departure starting in 1.5 days.
I'm particularly interested since in the near future I was going to
suggest to run some tests whether it would make sense
(performance-wise) to replace the existing sorting algorithm in the
Isabelle sources by the one from (sorry for the self-advertisement):
The website seems to be down at the moment, and it does not look like a
publicly available thing anyway (without paying extra).