/src/HOL/NumberTheory/
drwxr-xr-x [up]
-rw-r--r-- 2000-08-03 10:46 +0200 4996 BijectionRel.ML
-rw-r--r-- 2000-08-03 10:46 +0200 1106 BijectionRel.thy
-rw-r--r-- 2000-08-03 10:46 +0200 6591 Chinese.ML
-rw-r--r-- 2000-08-03 10:46 +0200 1791 Chinese.thy
-rw-r--r-- 2000-08-03 10:46 +0200 9308 EulerFermat.ML
-rw-r--r-- 2000-08-03 10:46 +0200 1348 EulerFermat.thy
-rw-r--r-- 2000-08-03 10:46 +0200 2272 IntFact.ML
-rw-r--r-- 2000-08-03 10:46 +0200 542 IntFact.thy
-rw-r--r-- 2000-08-03 10:46 +0200 24158 IntPrimes.ML
-rw-r--r-- 2000-08-03 10:46 +0200 1272 IntPrimes.thy
-rw-r--r-- 2000-08-03 10:46 +0200 1774 README
-rw-r--r-- 2000-08-03 10:46 +0200 321 ROOT.ML
-rw-r--r-- 2000-08-03 10:46 +0200 6445 WilsonBij.ML
-rw-r--r-- 2000-08-03 10:46 +0200 520 WilsonBij.thy
-rw-r--r-- 2000-08-03 10:46 +0200 9253 WilsonRuss.ML
-rw-r--r-- 2000-08-03 10:46 +0200 507 WilsonRuss.thy