changeset 26435 | bdce320cd426 |
parent 26392 | 748b263f0e40 |
child 26463 | 9283b4185fdf |
--- 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));