/src/HOL/AxClasses/Tutorial/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 588 BoolGroupInsts.thy
-rw-r--r-- 1997-01-23 14:19 +0100 2432 Group.ML
-rw-r--r-- 1997-01-23 14:19 +0100 476 Group.thy
-rw-r--r-- 1997-01-23 14:19 +0100 315 Monoid.thy
-rw-r--r-- 1997-01-23 14:19 +0100 483 MonoidGroupInsts.thy
-rw-r--r-- 1997-01-23 14:19 +0100 482 ProdGroupInsts.thy
-rw-r--r-- 1997-01-23 14:19 +0100 306 Product.thy
-rw-r--r-- 1997-01-23 14:19 +0100 381 ProductInsts.thy
-rw-r--r-- 1997-01-23 14:19 +0100 646 ROOT.ML
-rw-r--r-- 1997-01-23 14:19 +0100 319 Semigroup.thy
-rw-r--r-- 1997-01-23 14:19 +0100 605 Semigroups.thy
-rw-r--r-- 1997-01-23 14:19 +0100 354 Sigs.thy
-rw-r--r-- 1997-01-23 14:19 +0100 387 Xor.ML
-rw-r--r-- 1997-01-23 14:19 +0100 319 Xor.thy