amended to unoverload actually all parameters of a type variable
authorimmler
Mon May 13 13:39:59 2019 +0200 (4 months ago)
changeset 7027902920bc314ee
parent 70278 94b332206700
child 70280 a3862cf94e73
amended to unoverload actually all parameters of a type variable
src/HOL/Types_To_Sets/unoverload_type.ML
     1.1 --- a/src/HOL/Types_To_Sets/unoverload_type.ML	Mon May 13 16:30:20 2019 +0200
     1.2 +++ b/src/HOL/Types_To_Sets/unoverload_type.ML	Mon May 13 13:39:59 2019 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  fun params_of_class thy class = try (Axclass.get_info thy #> #params) class |> these
     1.5  
     1.6  fun params_of_super_classes thy class =
     1.7 -  Sorts.super_classes (Sign.classes_of thy) class |> maps (params_of_class thy)
     1.8 +  class::Sorts.super_classes (Sign.classes_of thy) class |> maps (params_of_class thy)
     1.9  
    1.10  fun params_of_sort thy sort = maps (params_of_super_classes thy) sort
    1.11