
diff -r f2c9ebbe04aa -r 4abaaadfdaf2 src/HOL/Complex_Main.thy
--- 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




