/src/HOL/AxClasses/Tutorial/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 610 BoolGroupInsts.thy
-rw-r--r-- 1997-04-08 10:48 +0200 2540 Group.ML
-rw-r--r-- 1997-04-08 10:48 +0200 480 Group.thy
-rw-r--r-- 1997-04-08 10:48 +0200 315 Monoid.thy
-rw-r--r-- 1997-04-08 10:48 +0200 483 MonoidGroupInsts.thy
-rw-r--r-- 1997-04-08 10:48 +0200 482 ProdGroupInsts.thy
-rw-r--r-- 1997-04-08 10:48 +0200 306 Product.thy
-rw-r--r-- 1997-04-08 10:48 +0200 381 ProductInsts.thy
-rw-r--r-- 1997-04-08 10:48 +0200 646 ROOT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 319 Semigroup.thy
-rw-r--r-- 1997-04-08 10:48 +0200 605 Semigroups.thy
-rw-r--r-- 1997-04-08 10:48 +0200 354 Sigs.thy
-rw-r--r-- 1997-04-08 10:48 +0200 396 Xor.ML
-rw-r--r-- 1997-04-08 10:48 +0200 341 Xor.thy