# HG changeset patch
# User haftmann
# Date 1233682489 -3600
# Node ID c566b63ce76a5ef09f540bd5ecc5ca2f1c2238c4
# Parent  2029482e894297d230a2dbaa0eeffe8e093c9254
merged Big0

diff -r 2029482e8942 -r c566b63ce76a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Feb 03 18:25:31 2009 +0100
+++ b/src/HOL/IsaMakefile	Tue Feb 03 18:34:49 2009 +0100
@@ -835,7 +835,6 @@
   ex/document/root.tex ex/Meson_Test.thy ex/set.thy	\
   ex/svc_funcs.ML ex/svc_test.thy	\
   ex/ImperativeQuicksort.thy	\
-  ex/BigO_Complex.thy			\
   ex/Arithmetic_Series_Complex.thy ex/HarmonicSeries.thy	\
   ex/Sqrt.thy ex/Sqrt_Script.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL ex