--- a/src/HOL/IsaMakefile Mon Mar 01 05:39:32 2004 +0100
+++ b/src/HOL/IsaMakefile Mon Mar 01 11:52:59 2004 +0100
@@ -146,7 +146,8 @@
Hyperreal/EvenOdd.ML Hyperreal/EvenOdd.thy \
Hyperreal/Fact.ML Hyperreal/Fact.thy Hyperreal/HLog.thy\
Hyperreal/Filter.ML Hyperreal/Filter.thy Hyperreal/HSeries.thy\
- Hyperreal/HyperArith.thy Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy\
+ Hyperreal/HTranscendental.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.thy\