Identify renamed lemmas

[urkud]

If a theorem disappeared and a new of the same type appeared, then show as "abc renamed to cde".

[alexjbest]

This should already happen, do you have an explicit example where it doesn't?

[urkud]

You're right, it identifies renames. However, in a more difficult case (renamed, restored the old lemma as a deprecated alias) it randomly reports new or old lemma as added.