-rw-r--r-- | 5694 | FreeGroups.agda | blob | history | raw |
-rw-r--r-- | 5647 | Generators.agda | blob | history | raw |
-rw-r--r-- | 1345 | GroupHom.agda | blob | history | raw |
-rw-r--r-- | 2843 | NormalForm.agda | blob | history | raw |
-rw-r--r-- | 4942 | UnivProp.agda | blob | history | raw |