Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Cl-isabelle-users Digest, Vol 115, Issue 1

view this post on Zulip Email Gateway (Aug 19 2022 at 16:56):

From: "W. Douglas Maurer" <maurer@gwu.edu>
Yes, it does help. That's exactly what I needed. -WDMaurer

Last updated: Aug 06 2026 at 06:32 UTC