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: Dec 10 2025 at 12:50 UTC