src/HOL/Lattices.thy
changeset 35724 178ad68f93ed
parent 35301 90e42f9ba4d1
child 36008 23dfa8678c7c
     1.1 --- a/src/HOL/Lattices.thy	Thu Mar 11 14:38:19 2010 +0100
     1.2 +++ b/src/HOL/Lattices.thy	Thu Mar 11 14:38:20 2010 +0100
     1.3 @@ -43,7 +43,7 @@
     1.4  end
     1.5  
     1.6  
     1.7 -subsection {* Conrete lattices *}
     1.8 +subsection {* Concrete lattices *}
     1.9  
    1.10  notation
    1.11    less_eq  (infix "\<sqsubseteq>" 50) and