--- 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