/src/HOL/Quot/
drwxr-xr-x [up]
-rw-r--r-- 1998-01-08 18:10 +0100 425 FRACT.ML
-rw-r--r-- 1998-01-08 18:10 +0100 460 FRACT.thy
-rw-r--r-- 1998-01-08 18:10 +0100 4889 HQUOT.ML
-rw-r--r-- 1998-01-08 18:10 +0100 641 HQUOT.thy
-rw-r--r-- 1998-01-08 18:10 +0100 386 NPAIR.ML
-rw-r--r-- 1998-01-08 18:10 +0100 681 NPAIR.thy
-rw-r--r-- 1998-01-08 18:10 +0100 451 PER.ML
-rw-r--r-- 1998-01-08 18:10 +0100 331 PER.thy
-rw-r--r-- 1998-01-08 18:10 +0100 2919 PER0.ML
-rw-r--r-- 1998-01-08 18:10 +0100 1170 PER0.thy
-rw-r--r-- 1998-01-08 18:10 +0100 520 README
-rw-r--r-- 1998-01-08 18:10 +0100 228 ROOT.ML