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: Sep 02 2026 at 08:32 UTC