Phame Blogs Isabelle NEWS J42
Bundles for lattice syntax
- Theory HOL-Library.Lattice_Syntax has been superseded by bundle lattice_syntax: it can be used in a local context via include or in a global theory via unbundle. The opposite declarations are bundled as no_lattice_syntax. Minor INCOMPATIBILITY.
This refers to Isabelle/cdf8952a86d5.
Written by makarius on Sep 22 2021, 12:01 PM.