/src/HOL/Quot/
drwxr-xr-x [up]
-rw-r--r-- 1998-07-15 14:19 +0200 417 FRACT.ML
-rw-r--r-- 1998-07-15 14:19 +0200 460 FRACT.thy
-rw-r--r-- 1998-07-15 14:19 +0200 4865 HQUOT.ML
-rw-r--r-- 1998-07-15 14:19 +0200 641 HQUOT.thy
-rw-r--r-- 1998-07-15 14:19 +0200 382 NPAIR.ML
-rw-r--r-- 1998-07-15 14:19 +0200 681 NPAIR.thy
-rw-r--r-- 1998-07-15 14:19 +0200 443 PER.ML
-rw-r--r-- 1998-07-15 14:19 +0200 331 PER.thy
-rw-r--r-- 1998-07-15 14:19 +0200 2899 PER0.ML
-rw-r--r-- 1998-07-15 14:19 +0200 1170 PER0.thy
-rw-r--r-- 1998-07-15 14:19 +0200 520 README
-rw-r--r-- 1998-07-15 14:19 +0200 228 ROOT.ML