/src/HOL/AxClasses/Group/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 2653 Group.ML
-rw-r--r-- 1997-01-23 14:19 +0100 406 Group.thy
-rw-r--r-- 1997-01-23 14:19 +0100 2364 GroupDefs.ML
-rw-r--r-- 1997-01-23 14:19 +0100 800 GroupDefs.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1216 GroupInsts.thy
-rw-r--r-- 1997-01-23 14:19 +0100 262 Monoid.thy
-rw-r--r-- 1997-01-23 14:19 +0100 387 MonoidGroupInsts.thy
-rw-r--r-- 1997-01-23 14:19 +0100 450 ROOT.ML
-rw-r--r-- 1997-01-23 14:19 +0100 236 Sigs.thy