src/Pure/assumption.ML
changeset 29579 cb520b766e00
parent 28965 1de908189869
child 29605 f2924219125e
--- a/src/Pure/assumption.ML	Wed Jan 21 16:47:03 2009 +0100
+++ b/src/Pure/assumption.ML	Wed Jan 21 16:47:04 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/assumption.ML
-    ID:         $Id$
     Author:     Makarius
 
 Local assumptions, parameterized by export rules.
@@ -79,7 +78,7 @@
 (* named prems -- legacy feature *)
 
 val _ = Context.>>
-  (Context.map_theory (PureThy.add_thms_dynamic ("prems",
+  (Context.map_theory (PureThy.add_thms_dynamic (Binding.name "prems",
     fn Context.Theory _ => [] | Context.Proof ctxt => prems_of ctxt)));