src/HOL/Library/Simps_Case_Conv.thy
Fri, 06 Sep 2013 10:56:40 +0200 noschinl added simps_of_case and case_of_simps to convert between simps and case rules
less more (0) tip