src/HOL/Lattices.thy
changeset 36673 6d25e8dab1e3
parent 36635 080b755377c0
child 37767 a2b7a20d6ea3
     1.1 --- a/src/HOL/Lattices.thy	Wed May 05 08:57:23 2010 +0200
     1.2 +++ b/src/HOL/Lattices.thy	Wed May 05 09:24:41 2010 +0200
     1.3 @@ -581,7 +581,6 @@
     1.4    min_max.sup.left_commute
     1.5  
     1.6  
     1.7 -
     1.8  subsection {* Bool as lattice *}
     1.9  
    1.10  instantiation bool :: boolean_algebra