Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new theories RealBin, RealInt, RealPow
authorpaulson
Fri, 20 Aug 1999 11:54:32 +0200
changeset 7301 6d43d525facc
parent 7300 8439bf404c28
child 7302 43a0a5097701
new theories RealBin, RealInt, RealPow
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Aug 19 22:00:33 1999 +0200
+++ b/src/HOL/IsaMakefile	Fri Aug 20 11:54:32 1999 +0200
@@ -78,6 +78,9 @@
   Real/RComplete.ML Real/RComplete.thy Real/Real.ML Real/Real.thy \
   Real/RealDef.ML Real/RealDef.thy Real/simproc.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 \
   Real/Hyperreal/HyperDef.ML Real/Hyperreal/HyperDef.thy \
isabelle