Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Bundles for lattice syntax

view this post on Zulip Email Gateway (Sep 22 2021 at 10:24):

From: Makarius <>
* HOL *

This refers to Isabelle/cdf8952a86d5.

I have updated all earlier variations on it, including a few AFP entries. This
revealed a few diverging clones of old syntax. Now it is all standardized to
just one version, with very rare changes on the actual theory content. See with lemma maddux2d and lemma


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC