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: Aug 12 2026 at 20:47 UTC