Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Sledgehammer oddities

Email Gateway (Aug 22 2022 at 10:08):

From: Makarius <makarius@sketis.net>
This is still open, as far as I can see. Is there anything to add for the
purpose of Isabelle2015 release candidates?

Makarius

Last updated: Feb 15 2026 at 05:19 UTC