src/HOL/IsaMakefile
changeset 14641 79b7bd936264
parent 14626 dfb8d2977263
child 14663 1d97b5f55261
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 22 10:43:06 2004 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 22 10:45:56 2004 +0200
     1.3 @@ -150,7 +150,7 @@
     1.4    Hyperreal/Filter.ML Hyperreal/Filter.thy Hyperreal/HSeries.thy\
     1.5    Hyperreal/HTranscendental.thy Hyperreal/HyperArith.thy\
     1.6    Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy\
     1.7 -  Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy Hyperreal/IntFloor.thy\
     1.8 +  Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\
     1.9    Hyperreal/Lim.thy Hyperreal/Log.thy\
    1.10    Hyperreal/MacLaurin.ML Hyperreal/MacLaurin.thy Hyperreal/NatStar.thy\
    1.11    Hyperreal/NSA.thy Hyperreal/NthRoot.thy Hyperreal/Poly.thy\
    1.12 @@ -159,7 +159,7 @@
    1.13    Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \
    1.14    Complex/Complex_Main.thy Complex/CLim.thy Complex/CSeries.thy\
    1.15    Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy\
    1.16 -  Complex/NSCA.thy Complex/NSComplex.thy Complex/NSInduct.thy
    1.17 +  Complex/NSCA.thy Complex/NSComplex.thy
    1.18  	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
    1.19  
    1.20