Initial check-in
-rw-r--r-- 5713 FreeGroups.agda
-rw-r--r-- 5319 Generators.agda
-rw-r--r-- 2843 NormalForm.agda