src/HOL/Library/Simps_Case_Conv.thy
2016-07-11 wenzelm 2016-07-11 tuned;
2014-04-02 wenzelm 2014-04-02 suppress slightly odd completion of "simp";
2013-09-06 wenzelm 2013-09-06 more standard header;
2013-09-06 noschinl 2013-09-06 added simps_of_case and case_of_simps to convert between simps and case rules