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.
removed Complex/ComplexBin.thy;
authorwenzelm
Wed, 09 May 2007 19:37:22 +0200
changeset 22897 c714f6d0a8d7
parent 22896 1c2abcabea61
child 22898 38ae2815989f
removed Complex/ComplexBin.thy;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed May 09 19:37:21 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed May 09 19:37:22 2007 +0200
@@ -171,9 +171,8 @@
   Hyperreal/Taylor.thy Hyperreal/FrechetDeriv.thy Hyperreal/Deriv.thy		\
   Hyperreal/Transcendental.thy Hyperreal/hypreal_arith.ML			\
   Complex/Complex_Main.thy Complex/CLim.thy Complex/CSeries.thy			\
-  Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy			\
-  Complex/NSCA.thy Complex/NSComplex.thy Complex/document/root.tex 		\
-  Library/Infinite_Set.thy Library/Parity.thy
+  Complex/CStar.thy Complex/Complex.thy Complex/NSCA.thy Complex/NSComplex.thy  \
+  Complex/document/root.tex Library/Infinite_Set.thy Library/Parity.thy
 	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
isabelle