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;
     1 
     2 no_document use_thy "Permutation";
     3 no_document use_thy "Primes";
     4 
     5 use_thy "Fib";
     6 use_thy "Factorization";
     7 use_thy "Chinese";
     8 use_thy "EulerFermat";
     9 use_thy "WilsonRuss";
    10 use_thy "WilsonBij";