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 14405 534de3572a65
parent 14398 c5c47703f763
child 14406 e447f23bbe2d 
--- a/src/HOL/IsaMakefile	Sat Feb 21 08:43:08 2004 +0100
+++ b/src/HOL/IsaMakefile	Sat Feb 21 11:43:39 2004 +0100
@@ -158,8 +158,7 @@
   Hyperreal/SEQ.ML Hyperreal/SEQ.thy Hyperreal/Series.ML Hyperreal/Series.thy\
   Hyperreal/Star.thy Hyperreal/Transcendental.ML\
   Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \
-  Complex/Complex_Main.thy\
-  Complex/CLim.ML Complex/CLim.thy\
+  Complex/Complex_Main.thy Complex/CLim.thy\
   Complex/CSeries.ML Complex/CSeries.thy\
   Complex/CStar.ML Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy\
   Complex/NSCA.ML Complex/NSCA.thy\
isabelle