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 25600 73431bd8c4c4
parent 25568 7bb10db582cf
child 25725 18bc59fb01b5 
--- a/src/HOL/IsaMakefile	Tue Dec 11 10:23:03 2007 +0100
+++ b/src/HOL/IsaMakefile	Tue Dec 11 10:23:05 2007 +0100
@@ -175,8 +175,8 @@
   Real/Lubs.thy Real/PReal.thy Real/RComplete.thy 			\
   Real/Rational.thy Real/Real.thy Real/RealDef.thy Real/RealPow.thy	\
   Real/RealVector.thy Real/rat_arith.ML Real/real_arith.ML		\
-  Hyperreal/StarDef.thy Hyperreal/StarClasses.thy			\
-  Hyperreal/EvenOdd.thy Hyperreal/Fact.thy Hyperreal/HLog.thy		\
+  Hyperreal/StarDef.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/HDeriv.thy Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy	\
isabelle