src/HOL/ex/Simps_Case_Conv_Examples.thy
2013-09-06 noschinl 2013-09-06 added examples for Simps_Case_Conv