/src/HOL/Quot/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 423 FRACT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 459 FRACT.thy
-rw-r--r-- 1997-04-08 10:48 +0200 4584 HQUOT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 639 HQUOT.thy
-rw-r--r-- 1997-04-08 10:48 +0200 376 NPAIR.ML
-rw-r--r-- 1997-04-08 10:48 +0200 688 NPAIR.thy
-rw-r--r-- 1997-04-08 10:48 +0200 428 PER.ML
-rw-r--r-- 1997-04-08 10:48 +0200 438 PER.thy
-rw-r--r-- 1997-04-08 10:48 +0200 2685 PER0.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1168 PER0.thy
-rw-r--r-- 1997-04-08 10:48 +0200 520 README
-rw-r--r-- 1997-04-08 10:48 +0200 228 ROOT.ML