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;
paulson@9508
     1
wenzelm@11049
     2
no_document use_thy "Permutation";
paulson@9508
     3
wenzelm@11049
     4
use_thy "Primes";
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";