changeset 29579 | cb520b766e00 |
parent 26724 | ff6ff3a9010e |
child 30528 | 7173bf123335 |
--- a/src/Pure/Tools/named_thms.ML Wed Jan 21 16:47:03 2009 +0100 +++ b/src/Pure/Tools/named_thms.ML Wed Jan 21 16:47:04 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Pure/Tools/named_thms.ML - ID: $Id$ Author: Makarius Named collections of theorems in canonical order. @@ -36,6 +35,6 @@ val setup = Attrib.add_attributes [(name, Attrib.add_del_args add del, "declaration of " ^ description)] #> - PureThy.add_thms_dynamic (name, Data.get); + PureThy.add_thms_dynamic (Binding.name name, Data.get); end;