src/HOL/Datatype_Benchmark/Brackin.thy
2013-04-12 wenzelm 2013-04-12 proper identifiers -- avoid crash of case translations;
2011-12-14 wenzelm 2011-12-14 more visible benchmarks; uniform IsaMakefile target "full" to cover such extra sessions;