[isabelle] Named_Target.reinit


I see that Named_Target.reinit is gone in 2014-rc0. It seems that it is
equivalent to leaving to a theory and then entering the target again.
What was its purpose and what is the right way to replace it?

It seems that it is sometimes necessary to perform these steps to get
the simpset updated after changing it in the background theory with

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.