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 <makarius@sketis.net>
* 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
https://isabelle-dev.sketis.net/rAFPd12a1ce2753f with lemma maddux2d and lemma
maddux2e.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 12:30 UTC