--- a/src/HOL/IsaMakefile Tue Sep 06 23:11:46 2005 +0200
+++ b/src/HOL/IsaMakefile Tue Sep 06 23:14:10 2005 +0200
@@ -144,6 +144,7 @@
Real/ROOT.ML Real/Real.thy Real/real_arith.ML Real/RealDef.thy \
Real/RealPow.thy Real/document/root.tex \
Real/Float.thy Real/Float.ML \
+ Hyperreal/StarType.thy Hyperreal/Transfer.thy Hyperreal/StarClasses.thy \
Hyperreal/EvenOdd.thy Hyperreal/Fact.thy Hyperreal/HLog.thy \
Hyperreal/Filter.thy Hyperreal/HSeries.thy \
Hyperreal/HTranscendental.thy Hyperreal/HyperArith.thy \