Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP site: Congrats and question

Email Gateway (Jul 01 2022 at 12:16):

From: Fabian Huch <huch@in.tum.de>
Thanks for pointing these out!

Fabian

Last updated: Feb 22 2026 at 05:16 UTC