src/Pure/Isar/class.ML
changeset 32850 d95a7fd00bd4
parent 32713 b8381161adb1
child 32886 aba29da80c1b
     1.1 --- a/src/Pure/Isar/class.ML	Thu Oct 01 09:09:56 2009 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Thu Oct 01 17:11:48 2009 +0200
     1.3 @@ -289,7 +289,7 @@
     1.4         `(fn thy => calculate thy class sups base_sort param_map assm_axiom)
     1.5      #-> (fn (base_morph, eqs, export_morph, axiom, assm_intro, of_class) =>
     1.6         Locale.add_registration_eqs (class, base_morph) eqs export_morph
     1.7 -    #> register class sups params base_sort base_morph axiom assm_intro of_class))
     1.8 +    #> register class sups params base_sort base_morph export_morph axiom assm_intro of_class))
     1.9      |> TheoryTarget.init (SOME class)
    1.10      |> pair class
    1.11    end;