Bundles for lattice syntax
HOL
- 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.
- Projects
- None
- Subscribers
- None