changeset 40297 | c753e3f8b4d6 |
parent 40286 | b928e3960446 |
child 40836 | a81d66d72e70 |
--- a/src/Tools/subtyping.ML Sun Oct 31 13:26:37 2010 +0100 +++ b/src/Tools/subtyping.ML Tue Nov 02 12:37:12 2010 +0100 @@ -762,7 +762,7 @@ Attrib.setup @{binding coercion} (Args.term >> (fn t => Thm.declaration_attribute (K (add_coercion t)))) "declaration of new coercions" #> - Attrib.setup @{binding map_function} + Attrib.setup @{binding coercion_map} (Args.term >> (fn t => Thm.declaration_attribute (K (add_type_map t)))) "declaration of new map functions";