6 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
17 months ago wenzelm 2018-02-25 tuned;
20 months ago wenzelm 2017-11-05 more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
2016-08-02 wenzelm 2016-08-02 avoid confusion with 'case' and "cases";
2016-08-02 wenzelm 2016-08-02 support 'abbrevs' within theory header; simplified 'keywords': no abbreviations here;
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