No matches were found for subject:"\[isabelle\-dev\] Shadowing of theorem names in locales"