No matches were found for subject:"\[isabelle\-dev\] Outer syntax based on theory structure"