1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-26 02:20:30 +01:00

remove using Permutations, import Base.convert

This commit is contained in:
kalmar 2017-05-15 09:49:34 +02:00
parent c5ec6bb15e
commit 9847f8addf

View File

@ -1,7 +1,3 @@
using Permutations
import Base: convert
###############################################################################
#
# AutSymbol/ AutGroup / AutGroupElem