src/Pure/assumption.ML
changeset 26463 9283b4185fdf
parent 26435 bdce320cd426
child 28965 1de908189869
     1.1 --- a/src/Pure/assumption.ML	Fri Mar 28 19:43:54 2008 +0100
     1.2 +++ b/src/Pure/assumption.ML	Fri Mar 28 20:02:04 2008 +0100
     1.3 @@ -79,8 +79,8 @@
     1.4  (* named prems -- legacy feature *)
     1.5  
     1.6  val _ = Context.>>
     1.7 -  (PureThy.add_thms_dynamic ("prems",
     1.8 -    fn Context.Theory _ => [] | Context.Proof ctxt => prems_of ctxt));
     1.9 +  (Context.map_theory (PureThy.add_thms_dynamic ("prems",
    1.10 +    fn Context.Theory _ => [] | Context.Proof ctxt => prems_of ctxt)));
    1.11  
    1.12  
    1.13  (* add assumptions *)