src/Benchmarks/Datatype_Benchmark/Brackin.thy
2016-02-13 wenzelm 2016-02-13 clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;