src/HOL/IsaMakefile
changeset 7218 bfa767b4dc51
parent 7186 860479291bb5
child 7231 830d7d520592
     1.1 --- a/src/HOL/IsaMakefile	Mon Aug 16 17:44:14 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Aug 16 18:41:06 1999 +0200
     1.3 @@ -82,6 +82,8 @@
     1.4    Real/RealDef.ML Real/RealDef.thy Real/simproc.ML \
     1.5    Real/RealAbs.ML Real/RealAbs.thy Real/ROOT.ML \
     1.6    Real/Hyperreal/Filter.ML Real/Hyperreal/Filter.thy \
     1.7 +  Real/Hyperreal/fuf.ML \
     1.8 +  Real/Hyperreal/HyperDef.ML Real/Hyperreal/HyperDef.thy \
     1.9    Real/Hyperreal/Zorn.ML Real/Hyperreal/Zorn.thy
    1.10  	@cd Real; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Real
    1.11