Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Pushouts in Isabelle

Email Gateway (Aug 22 2022 at 15:17):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
I just noticed that this had been sent to the list.
I replied to Sebastiaan privately. -- Gene Stark

Last updated: Feb 15 2026 at 05:19 UTC