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