src/HOL/ex/Case_Product.thy

--- a/src/HOL/ex/Case_Product.thy	Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/ex/Case_Product.thy	Sun Nov 02 18:21:45 2014 +0100
@@ -3,7 +3,7 @@
     Copyright   2011 TU Muenchen
 *)
 
-header {* Examples for the 'case_product' attribute *}
+section {* Examples for the 'case_product' attribute *}
 
 theory Case_Product
 imports Main