src/HOL/IsaMakefile
changeset 7301 6d43d525facc
parent 7231 830d7d520592
child 7307 c065073cdb34
     1.1 --- a/src/HOL/IsaMakefile	Thu Aug 19 22:00:33 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Aug 20 11:54:32 1999 +0200
     1.3 @@ -78,6 +78,9 @@
     1.4    Real/RComplete.ML Real/RComplete.thy Real/Real.ML Real/Real.thy \
     1.5    Real/RealDef.ML Real/RealDef.thy Real/simproc.ML \
     1.6    Real/RealAbs.ML Real/RealAbs.thy Real/ROOT.ML \
     1.7 +  Real/RealBin.ML Real/RealBin.thy \
     1.8 +  Real/RealInt.ML Real/RealInt.thy \
     1.9 +  Real/RealPow.ML Real/RealPow.thy \
    1.10    Real/Hyperreal/Filter.ML Real/Hyperreal/Filter.thy \
    1.11    Real/Hyperreal/fuf.ML \
    1.12    Real/Hyperreal/HyperDef.ML Real/Hyperreal/HyperDef.thy \