src/HOL/BNF_Examples/Koenig.thy
changeset 57634 efc00b9b8680
parent 57207 df0f8ad7cc30
--- 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