HomeIsabelle/Phabricator
Diffusion afp-devel d12a1ce2753f

bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.
d12a1ce2753f
Actions

Description

bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax, according to Isabelle/ead56ad40e15;
subtle change of inf (infixl "\<sqinter>" 70) vs. (infixl "\<sqinter>" 65);

Details

Provenance
makariusAuthored on
Parents
rAFP3206db92e73b: clarified signature, according to Isabelle/d882abae3379;
Branches
Unknown
Tags
Unknown

Changes (16)

PathSize
thys/
Algebraic_VCs/
Automatic_Refinement/
Lib/
Buchi_Complementation/
Concurrent_Ref_Alg/
Dependent_SIFUM_Type_Systems/
Free-Boolean-Algebra/
MFODL_Monitor_Optimized/
MonoBoolTranAlgebra/
Order_Lattice_Props/
Polynomial_Factorization/
Residuated_Lattices/
SIFUM_Type_Systems/

rAFPd12a1ce2753f

View Options

thys/Algebraic_VCs/Domain_Quantale.thy

Loading...
View Options

thys/Automatic_Refinement/Lib/Misc.thy

Loading...
View Options

thys/Buchi_Complementation/Complementation_Implement.thy

Loading...
View Options

thys/Concurrent_Ref_Alg/Refinement_Lattice.thy

Loading...
View Options

thys/Dependent_SIFUM_Type_Systems/Preliminaries.thy

Loading...
View Options

thys/Free-Boolean-Algebra/Free_Boolean_Algebra.thy

Loading...
View Options

thys/MFODL_Monitor_Optimized/Regex.thy

Loading...
View Options

thys/MonoBoolTranAlgebra/Mono_Bool_Tran.thy

Loading...
View Options

thys/MonoBoolTranAlgebra/Statements.thy

Loading...
View Options

thys/Order_Lattice_Props/Order_Lattice_Props_Loc.thy

Loading...
View Options

thys/Order_Lattice_Props/Order_Lattice_Props_Wenzel.thy

Loading...
View Options

thys/Order_Lattice_Props/Sup_Lattice.thy

Loading...
View Options

thys/Polynomial_Factorization/ROOT

Loading...
View Options

thys/Residuated_Lattices/Residuated_Boolean_Algebras.thy

Loading...
View Options

thys/Residuated_Lattices/Residuated_Lattices.thy

Loading...
View Options

thys/SIFUM_Type_Systems/Preliminaries.thy

Loading...