--- a/src/HOL/IsaMakefile Thu Jan 29 16:51:17 2004 +0100
+++ b/src/HOL/IsaMakefile Mon Feb 02 12:23:46 2004 +0100
@@ -146,10 +146,9 @@
Hyperreal/EvenOdd.ML Hyperreal/EvenOdd.thy \
Hyperreal/Fact.ML Hyperreal/Fact.thy\
Hyperreal/Filter.ML Hyperreal/Filter.thy\
- Hyperreal/HRealAbs.thy Hyperreal/HSeries.ML Hyperreal/HSeries.thy\
- Hyperreal/HyperArith.thy \
- Hyperreal/HyperDef.thy Hyperreal/HyperNat.ML Hyperreal/HyperNat.thy\
- Hyperreal/HyperOrd.thy Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\
+ Hyperreal/HSeries.ML Hyperreal/HSeries.thy\
+ Hyperreal/HyperArith.thy Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy\
+ Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\
Hyperreal/IntFloor.thy Hyperreal/IntFloor.ML\
Hyperreal/Lim.ML Hyperreal/Lim.thy Hyperreal/Log.ML Hyperreal/Log.thy\
Hyperreal/MacLaurin.ML Hyperreal/MacLaurin.thy\