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: Apr 05 2026 at 20:36 UTC