src/Pure/assumption.ML
changeset 26435 bdce320cd426
parent 26392 748b263f0e40
child 26463 9283b4185fdf
     1.1 --- a/src/Pure/assumption.ML	Thu Mar 27 15:32:12 2008 +0100
     1.2 +++ b/src/Pure/assumption.ML	Thu Mar 27 15:32:15 2008 +0100
     1.3 @@ -78,7 +78,7 @@
     1.4  
     1.5  (* named prems -- legacy feature *)
     1.6  
     1.7 -val _ = Context.add_setup
     1.8 +val _ = Context.>>
     1.9    (PureThy.add_thms_dynamic ("prems",
    1.10      fn Context.Theory _ => [] | Context.Proof ctxt => prems_of ctxt));
    1.11