# AdHoc test outputs
src/test/resources/adhoc/*.thy