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));