Re: [isabelle] mergesort

On Sun, 28 Oct 2012, Christian Sternagel wrote:

The website seems to be down at the moment, and it does not look like a publicly available thing anyway (without paying extra).
Well, I paid a lot extra to make it "open access" so it better be publicly available. From my location this works, please let me know if it is not the case from elsewhere.

I can see the article now.


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