wenzelm [Fri, 06 Sep 2013 12:46:50 +0200] rev 54572
tuned;
wenzelm [Fri, 06 Sep 2013 12:22:00 +0200] rev 54571
removed junk;
wenzelm [Fri, 06 Sep 2013 12:05:01 +0200] rev 54570
more standard header;
wenzelm [Fri, 06 Sep 2013 12:00:58 +0200] rev 54569
updated keywords;
noschinl [Fri, 06 Sep 2013 10:57:27 +0200] rev 54568
merged
noschinl [Fri, 06 Sep 2013 10:56:40 +0200] rev 54567
added examples for Simps_Case_Conv
noschinl [Fri, 06 Sep 2013 10:56:40 +0200] rev 54566
allowed less exhaustive patterns
noschinl [Fri, 06 Sep 2013 10:56:40 +0200] rev 54565
use case_of_simps
noschinl [Fri, 06 Sep 2013 10:56:40 +0200] rev 54564
use case_of_simps
noschinl [Fri, 06 Sep 2013 10:56:40 +0200] rev 54563
added simps_of_case and case_of_simps to convert between simps and case rules