langle/rangle for group span
-rw-r--r-- 31129 Cancelation.thy
-rw-r--r-- 19404 FreeGroups.thy
-rw-r--r-- 11131 Generators.thy
-rw-r--r-- 904 IsaMakefile
-rw-r--r-- 16618 Isomorphisms.thy
-rw-r--r-- 155 ROOT.ML
-rw-r--r-- 827 UnitGroup.thy
drwxr-xr-x - document