changeset 58882 | 6e2010ab8bd9 |
parent 58614 | 7338eb25226c |
child 61541 | 846c72206207 |
--- a/src/HOL/Isar_Examples/Group.thy Sun Nov 02 17:20:45 2014 +0100 +++ b/src/HOL/Isar_Examples/Group.thy Sun Nov 02 17:23:48 2014 +0100 @@ -2,7 +2,7 @@ Author: Markus Wenzel, TU Muenchen *) -header \<open>Basic group theory\<close> +section \<open>Basic group theory\<close> theory Group imports Main