Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 7218 bfa767b4dc51
parent 7186 860479291bb5
child 7231 830d7d520592 
--- a/src/HOL/IsaMakefile	Mon Aug 16 17:44:14 1999 +0200
+++ b/src/HOL/IsaMakefile	Mon Aug 16 18:41:06 1999 +0200
@@ -82,6 +82,8 @@
   Real/RealDef.ML Real/RealDef.thy Real/simproc.ML \
   Real/RealAbs.ML Real/RealAbs.thy Real/ROOT.ML \
   Real/Hyperreal/Filter.ML Real/Hyperreal/Filter.thy \
+  Real/Hyperreal/fuf.ML \
+  Real/Hyperreal/HyperDef.ML Real/Hyperreal/HyperDef.thy \
   Real/Hyperreal/Zorn.ML Real/Hyperreal/Zorn.thy
 	@cd Real; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Real
isabelle