
diff -r 4ff8c090d580 -r efc00b9b8680 src/HOL/BNF_Examples/Koenig.thy
--- a/src/HOL/BNF_Examples/Koenig.thy	Thu Jul 24 00:24:00 2014 +0200
+++ b/src/HOL/BNF_Examples/Koenig.thy	Thu Jul 24 00:24:00 2014 +0200
@@ -6,7 +6,7 @@
 Koenig's lemma.
 *)
 
-header {* Koenig's lemma *}
+header {* Koenig's Lemma *}
 
 theory Koenig
 imports TreeFI Stream




