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: Feb 15 2026 at 05:19 UTC