src/HOL/ex/Simps_Case_Conv_Examples.thy
2015-07-09 noschinl 2015-07-09 case_of_simps: do not split for types with a single constructor
2015-07-09 noschinl 2015-07-09 tests for Simps_Case_Conv
2013-09-06 noschinl 2013-09-06 added examples for Simps_Case_Conv