[isabelle] Named_Target.reinit



Hi,

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
Local_Theory.background_theory_result.




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