\begin{code}
{-# OPTIONS --safe --without-K --exact-split #-}
module Groups.index where
import Groups.Type
import Groups.Subgroups
import Groups.Free
import Groups.Large
import Groups.Type-Supplement
import Groups.Aut
import Groups.Cokernel
import Groups.GroupActions
import Groups.Homomorphisms
import Groups.Image
import Groups.Kernel
import Groups.Opposite
import Groups.Quotient
import Groups.Torsors
import Groups.Triv
\end{code}
[1] Martin Escardo
[2] Bezem, Coquand, Dybjer and Escardo
[3] Ettore Aldrovandi and Keri D'Angelo