src/HOL/IsaMakefile
changeset 29792 c566b63ce76a
parent 29788 1b80ebe713a4
child 29804 e15b74577368
child 29806 bebe5a254ba6
     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