--- a/src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy Sun Nov 02 16:59:40 2014 +0100
+++ b/src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy Sun Nov 02 17:06:05 2014 +0100
@@ -1,6 +1,6 @@
(* Author: Johannes Hölzl, TU München *)
-header {* Formalization of a Countermeasure by Koepf \& Duermuth 2009 *}
+section {* Formalization of a Countermeasure by Koepf \& Duermuth 2009 *}
theory Koepf_Duermuth_Countermeasure
imports "~~/src/HOL/Probability/Information" "~~/src/HOL/Library/Permutation"