Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2016-1-RC1 sledgehammer "Try this: by ...

Email Gateway (Aug 22 2022 at 14:36):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m afraid that such things do happen from time to time. I also get meson proofs that only succeed if metis is substituted. Still some bugs in there clearly… but who could live without it?
Larry

Last updated: Feb 15 2026 at 05:19 UTC