Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [isabelle-dev] AFP devel not reachable

view this post on Zulip Email Gateway (Aug 22 2022 at 10:38):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
This is probably of interest to isabelle-users as well.

Cheers,
Gerwin

Last updated: Feb 15 2026 at 05:19 UTC