tuned signature
authorhaftmann
Sat Jan 17 22:07:29 2009 +0100 (2009-01-17)
changeset 295454be5e49c74b1
parent 29544 bc50244cd1d7
child 29546 aa8a1ed95a57
tuned signature
src/Pure/Isar/class_target.ML
     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,