src/HOL/IsaMakefile
changeset 15094 a7d1a3fdc30d
parent 15093 49ede01e9ee6
child 15103 79846e8792eb
     1.1 --- a/src/HOL/IsaMakefile	Fri Jul 30 18:37:58 2004 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sat Jul 31 20:54:23 2004 +0200
     1.3 @@ -144,10 +144,9 @@
     1.4    Real/Lubs.thy Real/rat_arith.ML\
     1.5    Real/Rational.thy Real/PReal.thy Real/RComplete.thy \
     1.6    Real/ROOT.ML Real/Real.thy Real/real_arith.ML Real/RealDef.thy \
     1.7 -  Real/RealPow.thy Real/document/root.tex Real/real_arith.ML\
     1.8 -  Hyperreal/EvenOdd.thy\
     1.9 -  Hyperreal/Fact.ML Hyperreal/Fact.thy Hyperreal/HLog.thy\
    1.10 -  Hyperreal/Filter.ML Hyperreal/Filter.thy Hyperreal/HSeries.thy\
    1.11 +  Real/RealPow.thy Real/document/root.tex\
    1.12 +  Hyperreal/EvenOdd.thy Hyperreal/Fact.thy Hyperreal/HLog.thy\
    1.13 +  Hyperreal/Filter.thy Hyperreal/HSeries.thy\
    1.14    Hyperreal/HTranscendental.thy Hyperreal/HyperArith.thy\
    1.15    Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy\
    1.16    Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\