# HG changeset patch
# User wenzelm
# Date 1178732242 -7200
# Node ID c714f6d0a8d72541ca75ce19c5bd82296630f92e
# Parent  1c2abcabea612e203277ad28481666064696d810
removed Complex/ComplexBin.thy;

diff -r 1c2abcabea61 -r c714f6d0a8d7 src/HOL/IsaMakefile
--- 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