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 22631 7ae5a6ab7bd6
parent 22528 8501c4a62a3c
child 22641 a5dc96fad632 
--- a/src/HOL/IsaMakefile	Wed Apr 11 03:54:53 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed Apr 11 04:13:06 2007 +0200
@@ -161,7 +161,7 @@
   Hyperreal/StarDef.thy Hyperreal/StarClasses.thy				\
   Hyperreal/EvenOdd.thy Hyperreal/Fact.thy Hyperreal/HLog.thy			\
   Hyperreal/Filter.thy Hyperreal/HSeries.thy Hyperreal/transfer.ML		\
-  Hyperreal/HTranscendental.thy							\
+  Hyperreal/HSEQ.thy Hyperreal/HTranscendental.thy				\
   Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy					\
   Hyperreal/Hyperreal.thy							\
   Hyperreal/Integration.thy Hyperreal/Lim.thy Hyperreal/Log.thy			\
isabelle