Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [isabelle] Relaxing type class constraints...

view this post on Zulip Email Gateway (Jan 26 2024 at 12:34):

From: Lawrence Paulson <lp15@cam.ac.uk>
Okay it is done now

Larry

Last updated: Jan 07 2026 at 16:34 UTC