1.1 --- a/src/HOL/IsaMakefile	Fri Mar 05 11:43:55 2004 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Mar 05 15:18:59 2004 +0100
     1.3 @@ -150,8 +150,7 @@
     1.4    Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy Hyperreal/IntFloor.thy\
     1.5    Hyperreal/Lim.ML Hyperreal/Lim.thy Hyperreal/Log.thy\
     1.6    Hyperreal/MacLaurin.ML Hyperreal/MacLaurin.thy Hyperreal/NatStar.thy\
     1.7 -  Hyperreal/NSA.thy Hyperreal/NthRoot.thy\
     1.8 -  Hyperreal/Poly.ML Hyperreal/Poly.thy\
     1.9 +  Hyperreal/NSA.thy Hyperreal/NthRoot.thy Hyperreal/Poly.thy\
    1.10    Hyperreal/SEQ.ML Hyperreal/SEQ.thy Hyperreal/Series.thy\
    1.11    Hyperreal/Star.thy Hyperreal/Transcendental.ML\
    1.12    Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \