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 14335 9c0b5e081037
parent 14334 6137d24eef79
child 14348 744c868ee0b7 
--- a/src/HOL/IsaMakefile	Thu Jan 01 10:06:32 2004 +0100
+++ b/src/HOL/IsaMakefile	Thu Jan 01 21:47:07 2004 +0100
@@ -139,7 +139,7 @@
   Real/Complex_Numbers.thy \
   Real/Lubs.ML Real/Lubs.thy Real/PNat.ML Real/PNat.thy \
   Real/PRat.ML Real/PRat.thy \
-  Real/PReal.ML Real/PReal.thy Real/RComplete.ML Real/RComplete.thy \
+  Real/PReal.thy Real/RComplete.ML Real/RComplete.thy \
   Real/ROOT.ML Real/Real.thy \
   Real/RealArith0.thy Real/real_arith0.ML \
   Real/RealArith.thy Real/real_arith.ML Real/RealBin.ML \
isabelle