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: Feb 25 2026 at 08:53 UTC