Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] mergesort

Email Gateway (Aug 19 2022 at 08:52):

From: Christian Sternagel <c-sterna@jaist.ac.jp>
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.

Email Gateway (Aug 19 2022 at 08:53):

From: Makarius <makarius@sketis.net>
I can see the article now.

Makarius

Last updated: Apr 19 2024 at 20:15 UTC