Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Additional type variable(s) in specification

view this post on Zulip Email Gateway (Aug 19 2022 at 12:44):

From: "Jens-D. Doll" <jd@cococo.de>
That was the most useful philosophical discourse I read lately.
Thanks,
Jens

Last updated: Feb 15 2026 at 05:19 UTC