--- a/src/HOL/GCD.thy Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/GCD.thy Sun Nov 02 18:21:45 2014 +0100
@@ -25,7 +25,7 @@
*)
-header {* Greatest common divisor and least common multiple *}
+section {* Greatest common divisor and least common multiple *}
theory GCD
imports Fact