Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Thank you

view this post on Zulip Email Gateway (Aug 22 2022 at 11:16):

From: Larry Paulson <lp15@cam.ac.uk>
Many thanks to everybody for the kind greetings! We have come so far through everybody working together!

Larry Paulson

Last updated: Feb 15 2026 at 05:19 UTC