No matches were found for subject:"\[isabelle\-dev\] Future of permanent_interpretation"