--- a/src/HOL/IsaMakefile Thu Mar 20 17:15:16 2003 +0100
+++ b/src/HOL/IsaMakefile Fri Mar 21 18:15:56 2003 +0100
@@ -269,6 +269,9 @@
NumberTheory/Chinese.thy NumberTheory/EulerFermat.thy \
NumberTheory/IntFact.thy NumberTheory/IntPrimes.thy \
NumberTheory/WilsonBij.thy NumberTheory/WilsonRuss.thy \
+ NumberTheory/Finite2.thy NumberTheory/Int2.thy NumberTheory/EvenOdd.thy\
+ NumberTheory/Residues.thy NumberTheory/Euler.thy NumberTheory/Gauss.thy\
+ NumberTheory/Quadratic_Reciprocity.thy\
NumberTheory/ROOT.ML
@$(ISATOOL) usedir -g true $(OUT)/HOL NumberTheory