src/HOL/NumberTheory/ROOT.ML
changeset 14271 8ed6989228bb
parent 13887 54a0c675c423
child 19671 e293e16d1442
     1.1 --- a/src/HOL/NumberTheory/ROOT.ML	Tue Dec 02 11:48:15 2003 +0100
     1.2 +++ b/src/HOL/NumberTheory/ROOT.ML	Wed Dec 03 10:49:34 2003 +0100
     1.3 @@ -19,7 +19,6 @@
     1.4  use_thy "Fib";
     1.5  use_thy "Factorization";
     1.6  use_thy "Chinese";
     1.7 -use_thy "EulerFermat";
     1.8  use_thy "WilsonRuss";
     1.9  use_thy "WilsonBij";
    1.10  use_thy "Quadratic_Reciprocity";