src/HOL/Complex_Main.thy
changeset 40839 48e01d16dd17
parent 35292 e4a431b6d9b7
child 40864 4abaaadfdaf2
     1.1 --- a/src/HOL/Complex_Main.thy	Wed Dec 01 11:06:01 2010 +0100
     1.2 +++ b/src/HOL/Complex_Main.thy	Wed Dec 01 11:32:24 2010 +0100
     1.3 @@ -10,6 +10,9 @@
     1.4    Ln
     1.5    Taylor
     1.6    Deriv
     1.7 +uses "~~/src/Tools/subtyping.ML"
     1.8  begin
     1.9  
    1.10 +setup Subtyping.setup
    1.11 +
    1.12  end