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 9042 4d4521cbbcca
parent 9015 8006e9009621
child 9101 b643f4d7b9e9 
--- a/src/HOL/IsaMakefile	Wed Jun 07 12:06:36 2000 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 07 12:07:07 2000 +0200
@@ -79,7 +79,7 @@
   Real/PNat.thy Real/PRat.ML Real/PRat.thy Real/PReal.ML \
   Real/PReal.thy Real/RComplete.ML Real/RComplete.thy Real/Real.thy \
   Real/RealDef.ML Real/RealDef.thy Real/RealOrd.ML Real/RealOrd.thy \
-  Real/simproc.ML Real/RealAbs.ML Real/RealAbs.thy Real/ROOT.ML \
+  Real/RealAbs.ML Real/RealAbs.thy Real/ROOT.ML \
   Real/RealBin.ML Real/RealBin.thy Real/RealInt.ML Real/RealInt.thy \
   Real/RealPow.ML Real/RealPow.thy Real/Hyperreal/Filter.ML \
   Real/Hyperreal/Filter.thy Real/Hyperreal/fuf.ML \
isabelle