# HG changeset patch
# User paulson
# Date 1048266956 -3600
# Node ID f9f49a1ec0f29d9eba16339cf7cbff0559ab9cfd
# Parent  601514e635340ad6196823723e0e009c502aadd6
quadratic reciprocity files

diff -r 601514e63534 -r f9f49a1ec0f2 src/HOL/IsaMakefile
--- 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