src/HOL/Datatype_Benchmark/Verilog.thy
2011-12-14 wenzelm 2011-12-14 more visible benchmarks; uniform IsaMakefile target "full" to cover such extra sessions;