[isabelle-dev] NEWS: proper context for rewrite_rule etc.

[Makarius]

*** ML ***

* Proper context for basic Simplifier operations: rewrite_rule,
rewrite_goals_rule, rewrite_goals_tac etc. INCOMPATIBILITY, need to
pass runtime Proof.context (and ensure that the simplified entity
actually belongs to it).


This refers to Isabelle/7a86358a3c0b.  It is just another bit in the 
continuous localization effort.


 	Makarius