src/Pure/Isar/class_target.ML
changeset 29545 4be5e49c74b1
parent 29526 0b32c8b84d3e
child 29558 9846af6c6d6a
     1.1 --- a/src/Pure/Isar/class_target.ML	Sat Jan 17 22:07:15 2009 +0100
     1.2 +++ b/src/Pure/Isar/class_target.ML	Sat Jan 17 22:07:29 2009 +0100
     1.3 @@ -115,7 +115,7 @@
     1.4    consts: (string * string) list
     1.5      (*locale parameter ~> constant name*),
     1.6    base_sort: sort,
     1.7 -  base_morph: Morphism.morphism
     1.8 +  base_morph: morphism
     1.9      (*static part of canonical morphism*),
    1.10    assm_intro: thm option,
    1.11    of_class: thm,