Stream: Mirror: Isabelle Development Mailing List

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

Email Gateway (Jan 26 2024 at 12:34):

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

Larry

Last updated: Mar 11 2026 at 20:36 UTC