Re: [isabelle] mergesort



On Sun, 28 Oct 2012, Christian Sternagel wrote:

 http://link.springer.com/article/10.1007/s10817-012-9260-7

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.


	Makarius





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