No matches were found for subject:"\[isabelle\-dev\] \[isabelle\] Contracting Abbreviations of Locale Definitions"