FPGroups is imported in Groups.jl, no need to import
This commit is contained in:
parent
6795693ce8
commit
e08a5c71b3
|
@ -1,8 +1,5 @@
|
|||
module FinitelyPresentedGroups
|
||||
|
||||
using Groups
|
||||
|
||||
abstract Group
|
||||
|
||||
immutable FPSymbol{T<:Group} <: GSymbol
|
||||
gen::String
|
||||
|
|
Loading…
Reference in New Issue