Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Reference for Historic Isabelle Evolution

view this post on Zulip Email Gateway (Aug 19 2022 at 11:50):

From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
Dear all,

is there somewhere a citable account on the historic evolution of
the Isabelle System ?

(Something like Gordon's text on the HOL4 system?)

Best regards,

bu

Last updated: Feb 15 2026 at 05:19 UTC