src/HOL/Isar_examples/Group.thy

  (see above), we may still instantiate group < monoid properly as
  follows.
 *};
 
 instance group < monoid;
-  by (expand_classes,
+  by (intro_classes,
        rule group_assoc,
        rule group_left_unit,
        rule group_right_unit);