src/HOL/NumberTheory/ROOT.ML
author wenzelm
Sat Jun 09 14:18:19 2001 +0200 (2001-06-09)
changeset 11368 9c1995c73383
parent 11049 7eef34adb852
child 13871 26e5f5e624f6
permissions -rw-r--r--
tuned Primes theory;
paulson@9508
     1
wenzelm@11049
     2
no_document use_thy "Permutation";
wenzelm@11368
     3
no_document use_thy "Primes";
paulson@9508
     4
wenzelm@11049
     5
use_thy "Fib";
wenzelm@11049
     6
use_thy "Factorization";
wenzelm@11049
     7
use_thy "Chinese";
wenzelm@11049
     8
use_thy "EulerFermat";
wenzelm@11049
     9
use_thy "WilsonRuss";
wenzelm@11049
    10
use_thy "WilsonBij";