Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Lattices.thy
changeset 36673 6d25e8dab1e3
parent 36635 080b755377c0
child 37767 a2b7a20d6ea3
equal deleted inserted replaced
36672:bd7f659f7de5 36673:6d25e8dab1e3 
   579 
   579 
   580 lemmas max_ac = min_max.sup_assoc min_max.sup_commute
 
   580 lemmas max_ac = min_max.sup_assoc min_max.sup_commute
 
   581   min_max.sup.left_commute
 
   581   min_max.sup.left_commute
 
   582 
   582 
   583 
   583 
   584 
       
   585 subsection {* Bool as lattice *}
 
   584 subsection {* Bool as lattice *}
 
   586 
   585 
   587 instantiation bool :: boolean_algebra
 
   586 instantiation bool :: boolean_algebra
 
   588 begin
 
   587 begin
 
   589 
   588
isabelle