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 22653 8e016bfdbf2f
parent 22641 a5dc96fad632
child 22657 731622340817 
--- a/src/HOL/IsaMakefile	Thu Apr 12 23:06:27 2007 +0200
+++ b/src/HOL/IsaMakefile	Fri Apr 13 00:07:52 2007 +0200
@@ -162,7 +162,7 @@
   Hyperreal/EvenOdd.thy Hyperreal/Fact.thy Hyperreal/HLog.thy			\
   Hyperreal/Filter.thy Hyperreal/HSeries.thy Hyperreal/transfer.ML		\
   Hyperreal/HLim.thy Hyperreal/HSEQ.thy Hyperreal/HTranscendental.thy		\
-  Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy					\
+  Hyperreal/HDeriv.thy Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy		\
   Hyperreal/Hyperreal.thy							\
   Hyperreal/Integration.thy Hyperreal/Lim.thy Hyperreal/Log.thy			\
   Hyperreal/Ln.thy Hyperreal/MacLaurin.thy Hyperreal/NatStar.thy		\
isabelle