--- 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 =