/tests/examplefiles/isabelle/

• ../
• example.thy
• example.thy.output