diff -r d004b791218e -r bdce320cd426 src/Pure/assumption.ML --- a/src/Pure/assumption.ML Thu Mar 27 15:32:12 2008 +0100 +++ b/src/Pure/assumption.ML Thu Mar 27 15:32:15 2008 +0100 @@ -78,7 +78,7 @@ (* named prems -- legacy feature *) -val _ = Context.add_setup +val _ = Context.>> (PureThy.add_thms_dynamic ("prems", fn Context.Theory _ => [] | Context.Proof ctxt => prems_of ctxt));