# HG changeset patch
# User hoelzl
# Date 1365509593 -7200
# Node ID b6675f4549d8ce33d8b2e5bb5eeb685a3a631542
# Parent  400ec5ae7f8f15012d5f7822a57d9684077d83b1
fixed spelling

diff -r 400ec5ae7f8f -r b6675f4549d8 src/HOL/Conditional_Complete_Lattices.thy
--- a/src/HOL/Conditional_Complete_Lattices.thy	Tue Apr 09 14:04:47 2013 +0200
+++ b/src/HOL/Conditional_Complete_Lattices.thy	Tue Apr 09 14:13:13 2013 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Conditional_Complete_Lattices.thy
     Author:     Amine Chaieb and L C Paulson, University of Cambridge
-    Author:     Johanens Hölzl, TU München
+    Author:     Johannes Hölzl, TU München
 *)
 
 header {* Conditional Complete Lattices *}