src/HOL/NumberTheory/ROOT.ML
author wenzelm
Sun Feb 04 19:31:13 2001 +0100 (2001-02-04)
changeset 11049 7eef34adb852
parent 9944 2a705d1af4dc
child 11368 9c1995c73383
permissions -rw-r--r--
HOL-NumberTheory: converted to new-style format and proper document setup;
     1 
     2 no_document use_thy "Permutation";
     3 
     4 use_thy "Primes";
     5 use_thy "Fib";
     6 use_thy "Factorization";
     7 use_thy "Chinese";
     8 use_thy "EulerFermat";
     9 use_thy "WilsonRuss";
    10 use_thy "WilsonBij";