name: group-abelian
version: 1.9
description: Abelian groups
author: Joe Leslie-Hurd <joe@gilith.com>
license: MIT
provenance: HOL Light theory extracted on 2012-12-02
requires: bool
requires: group-thm
requires: group-witness
show: "Algebra.Group"
show: "Data.Bool"

main {
  article: "group-abelian.art"
}
