src/HOL/ex/MonoidGroup.thy
changeset 10357 0d0cac129618
parent 9297 bafe45732b10
child 11019 e968e5bfe98d
     1.1 --- a/src/HOL/ex/MonoidGroup.thy	Mon Oct 30 18:24:20 2000 +0100
     1.2 +++ b/src/HOL/ex/MonoidGroup.thy	Mon Oct 30 18:24:42 2000 +0100
     1.3 @@ -6,6 +6,8 @@
     1.4  Monoids and Groups as predicates over record schemes.
     1.5  *)
     1.6  
     1.7 +header {* Monoids and Groups *}
     1.8 +
     1.9  theory MonoidGroup = Main:
    1.10  
    1.11  record 'a monoid_sig =