/src/HOL/AxClasses/Group/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 16:08 +0200 2716 Group.ML
-rw-r--r-- 2000-05-30 16:08 +0200 414 Group.thy
-rw-r--r-- 2000-05-30 16:08 +0200 2339 GroupDefs.ML
-rw-r--r-- 2000-05-30 16:08 +0200 836 GroupDefs.thy
-rw-r--r-- 2000-05-30 16:08 +0200 1151 GroupInsts.thy
-rw-r--r-- 2000-05-30 16:08 +0200 262 Monoid.thy
-rw-r--r-- 2000-05-30 16:08 +0200 411 MonoidGroupInsts.thy
-rw-r--r-- 2000-05-30 16:08 +0200 305 ROOT.ML
-rw-r--r-- 2000-05-30 16:08 +0200 244 Sigs.thy