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