4 Commits

Author	SHA1	Message	Date
kalmarek	0233aedc41	use perms{Int8} in AutGroup and in tests	2018-03-22 17:24:23 +01:00
kalmarek	261f7761eb	use the new Nemo.Generic module	2017-09-15 18:54:32 +02:00
kalmar	93d380094e	define GG, FF globally for inner testsets	2017-07-23 17:03:28 +02:00
kalmar	8a8d2237c5	Add tests for DirectProductGroups	2017-07-23 03:27:03 +02:00