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: Aug 26 2026 at 04:41 UTC