Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] WG:AW: Abbreviation makes Isabelle/HOL very slow

view this post on Zulip Email Gateway (Aug 22 2022 at 14:02):

From: Peter Lammich <lammich@in.tum.de>
\-------- Originalnachricht --------

Last updated: Jun 27 2026 at 03:40 UTC