# HG changeset patch
# User haftmann
# Date 1268314700 -3600
# Node ID 178ad68f93edb6ce0aeffa653442bc87a9143cb4
# Parent  b6cf98f25c3f73c1d685163f21a93fb124cd922f
fixed typo

diff -r b6cf98f25c3f -r 178ad68f93ed src/HOL/Lattices.thy
--- a/src/HOL/Lattices.thy	Thu Mar 11 14:38:19 2010 +0100
+++ b/src/HOL/Lattices.thy	Thu Mar 11 14:38:20 2010 +0100
@@ -43,7 +43,7 @@
 end
 
 
-subsection {* Conrete lattices *}
+subsection {* Concrete lattices *}
 
 notation
   less_eq  (infix "\<sqsubseteq>" 50) and