| changeset 39557 | fe5722fce758 |
| parent 36296 | 5cc547abd995 |
| child 45294 | 3c5d3d286055 |
--- a/src/Pure/Tools/named_thms.ML Mon Sep 20 15:29:53 2010 +0200 +++ b/src/Pure/Tools/named_thms.ML Mon Sep 20 16:05:25 2010 +0200 @@ -39,6 +39,6 @@ val setup = Attrib.setup (Binding.name name) (Attrib.add_del add del) ("declaration of " ^ description) #> - PureThy.add_thms_dynamic (Binding.name name, content); + Global_Theory.add_thms_dynamic (Binding.name name, content); end;