src/HOL/Complex_Main.thy

--- a/src/HOL/Complex_Main.thy	Wed Dec 01 11:06:01 2010 +0100
+++ b/src/HOL/Complex_Main.thy	Wed Dec 01 11:32:24 2010 +0100
@@ -10,6 +10,9 @@
   Ln
   Taylor
   Deriv
+uses "~~/src/Tools/subtyping.ML"
 begin
 
+setup Subtyping.setup
+
 end