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 14334 6137d24eef79
parent 14324 c9c6832f9b22
child 14335 9c0b5e081037 
--- a/src/HOL/IsaMakefile	Mon Dec 29 06:49:26 2003 +0100
+++ b/src/HOL/IsaMakefile	Thu Jan 01 10:06:32 2004 +0100
@@ -144,8 +144,7 @@
   Real/RealArith0.thy Real/real_arith0.ML \
   Real/RealArith.thy Real/real_arith.ML Real/RealBin.ML \
   Real/RealBin.thy Real/RealDef.thy \
-  Real/RealInt.thy Real/RealOrd.thy \
-  Real/RealPow.thy Real/document/root.tex Real/real_arith.ML\
+  Real/RealInt.thy Real/RealPow.thy Real/document/root.tex Real/real_arith.ML\
   Hyperreal/EvenOdd.ML Hyperreal/EvenOdd.thy \
   Hyperreal/Fact.ML Hyperreal/Fact.thy\
   Hyperreal/Filter.ML Hyperreal/Filter.thy Hyperreal/HRealAbs.ML\
isabelle