merged Big0
authorhaftmann
Tue Feb 03 18:34:49 2009 +0100 (2009-02-03)
changeset 29792c566b63ce76a
parent 29791 2029482e8942
child 29795 c78806b621e1
child 29800 f73a68c9d810
merged Big0
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Tue Feb 03 18:25:31 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Feb 03 18:34:49 2009 +0100
     1.3 @@ -835,7 +835,6 @@
     1.4    ex/document/root.tex ex/Meson_Test.thy ex/set.thy	\
     1.5    ex/svc_funcs.ML ex/svc_test.thy	\
     1.6    ex/ImperativeQuicksort.thy	\
     1.7 -  ex/BigO_Complex.thy			\
     1.8    ex/Arithmetic_Series_Complex.thy ex/HarmonicSeries.thy	\
     1.9    ex/Sqrt.thy ex/Sqrt_Script.thy
    1.10  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL ex