/tests/lexers/isabelle/

• ../
• example.txt