1.1 --- a/src/HOL/IsaMakefile	Mon Dec 15 17:08:41 2003 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Dec 16 15:38:09 2003 +0100
     1.3 @@ -153,7 +153,7 @@
     1.4    Hyperreal/HyperArith0.ML Hyperreal/HyperArith0.thy Hyperreal/HyperArith.thy\
     1.5    Hyperreal/HyperBin.ML Hyperreal/HyperBin.thy Hyperreal/HyperDef.ML\
     1.6    Hyperreal/HyperDef.thy Hyperreal/HyperNat.ML Hyperreal/HyperNat.thy\
     1.7 -  Hyperreal/HyperOrd.ML Hyperreal/HyperOrd.thy Hyperreal/HyperPow.ML\
     1.8 +  Hyperreal/HyperOrd.thy Hyperreal/HyperPow.ML\
     1.9    Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\
    1.10    Hyperreal/Lim.ML Hyperreal/Lim.thy  Hyperreal/Log.ML Hyperreal/Log.thy\
    1.11    Hyperreal/MacLaurin.ML Hyperreal/MacLaurin.thy\