--- a/src/HOL/Isar_examples/Group.thy Tue Oct 05 18:16:26 1999 +0200
+++ b/src/HOL/Isar_examples/Group.thy Tue Oct 05 18:16:41 1999 +0200
@@ -5,7 +5,7 @@
theory Group = Main:;
-title {* Basic group theory *};
+chapter {* Basic group theory *};
section {* Groups *};