diff --git a/groups/Allgroups.jl b/groups/Allgroups.jl index fb259e0..4a6e896 100644 --- a/groups/Allgroups.jl +++ b/groups/Allgroups.jl @@ -5,6 +5,11 @@ using Nemo using Groups export PropertyTGroup, SymmetrizedGroup, GAPGroup, Naive, Symmetrize, + SpecialLinearGroup, + SpecialAutomorphismGroup, + HigmanGroup, + CapraceGroup, + MappingClassGroup abstract type PropertyTGroup end