--- a/src/HOL/Complex_Main.thy Wed Dec 01 06:50:54 2010 -0800 +++ b/src/HOL/Complex_Main.thy Wed Dec 01 20:59:29 2010 +0100 @@ -10,9 +10,6 @@ Ln Taylor Deriv -uses "~~/src/Tools/subtyping.ML" begin -setup Subtyping.setup - end