@MISC{GROUP_1A.MIZ,
  AUTHOR = {Coghetto, Roland},
  TITLE = {Groups -- Additive Notation},
  SECTION1 = {Additive Notation for Groups -- GROUP\_1},
  SECTION2 = {Subgroups and Lagrange Theorem -- GROUP\_2},
  SECTION3 = {Classes of Conjugation and Normal Subgroups -- GROUP\_3},
  SECTION4 = {Topological Groups -- TOPGRP\_1},
  DAY = {30},
  MONTH = {April},
  YEAR = {2015},
  ADDRESS1 = {Rue de la Brasserie 5\\7100 La Louvi\`ere, Belgium},
  SUMMARY = {We translate the articles covering
  group theory already available in the
  Mizar Mathematical Library from multiplicative into additive notation.
  We adapt the work of Wojciech A. Trybulec
  \cite{GROUP_1.ABS, GROUP_2.ABS, GROUP_3.ABS} and Artur Korni\l owicz
  \cite{TOPGRP_1.ABS}.}}

