Re: [isabelle] mergesort
On Sun, 28 Oct 2012, Christian Sternagel wrote:
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.
The website seems to be down at the moment, and it does not look like a
publicly available thing anyway (without paying extra).
I can see the article now.
This archive was generated by a fusion of
Pipermail (Mailman edition) and