No matches were found for subject:"\[isabelle\-dev\] Proposal for localized interpretations"