[isabelle-dev] simp and ring_simps -- post release

[Amine Chaieb]

It is very strange to me that

lemma "(x::int) - y = x + - y"
   apply simp

loops....

What happened?

Best,
Amine.