quadratic reciprocity files
authorpaulson
Fri Mar 21 18:15:56 2003 +0100 (2003-03-21)
changeset 13873f9f49a1ec0f2
parent 13872 601514e63534
child 13874 0da2141606c6
quadratic reciprocity files
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Mar 20 17:15:16 2003 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Mar 21 18:15:56 2003 +0100
     1.3 @@ -269,6 +269,9 @@
     1.4    NumberTheory/Chinese.thy NumberTheory/EulerFermat.thy \
     1.5    NumberTheory/IntFact.thy NumberTheory/IntPrimes.thy \
     1.6    NumberTheory/WilsonBij.thy NumberTheory/WilsonRuss.thy \
     1.7 +  NumberTheory/Finite2.thy NumberTheory/Int2.thy NumberTheory/EvenOdd.thy\
     1.8 +  NumberTheory/Residues.thy NumberTheory/Euler.thy NumberTheory/Gauss.thy\
     1.9 +  NumberTheory/Quadratic_Reciprocity.thy\
    1.10    NumberTheory/ROOT.ML
    1.11  	@$(ISATOOL) usedir -g true $(OUT)/HOL NumberTheory
    1.12