Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2014 released

Email Gateway (Aug 19 2022 at 15:42):

From: Tobias Nipkow <nipkow@in.tum.de>
Thank you for letting us know. We have corrected that today. People who
downloaded the whole archive may want to do so again because they have a
slightly out-of-date version.

Tobias

Last updated: Jul 26 2025 at 08:28 UTC