src/HOL/Record_Benchmark/Record_Benchmark.thy
2012-01-03 wenzelm 2012-01-03 more benchmarks; tuned;
2011-12-14 wenzelm 2011-12-14 more visible benchmarks; uniform IsaMakefile target "full" to cover such extra sessions;