kalmarek 2feadb5c20 Merge remote-tracking branch 'origin/enh/radius' into 1703.09680v1		2017-09-10 13:09:26 +02:00
.gitignore	add gitignore	2017-03-13 16:19:41 +01:00
AutF4.jl	Tries on AutF4 with semidirect product	2017-03-13 16:20:40 +01:00
AutFN.jl	update AutFN.jl to latest changes in PropertyT	2017-03-27 22:43:58 +02:00
SemiDirectProduct.jl	Tries on AutF4 with semidirect product	2017-03-13 16:20:40 +01:00
SL.jl	Merge remote-tracking branch 'origin/enh/radius' into 1703.09680v1	2017-09-10 13:09:26 +02:00