| Tue, 02 Aug 2016 18:13:24 +0200 | wenzelm | avoid confusion with 'case' and "cases"; | file | diff | annotate |
| Tue, 02 Aug 2016 17:35:18 +0200 | wenzelm | support 'abbrevs' within theory header; | file | diff | annotate |
| Mon, 11 Jul 2016 09:57:20 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 02 Apr 2014 13:54:50 +0200 | wenzelm | suppress slightly odd completion of "simp"; | file | diff | annotate |
| Fri, 06 Sep 2013 12:05:01 +0200 | wenzelm | more standard header; | file | diff | annotate |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | added simps_of_case and case_of_simps to convert between simps and case rules | file | diff | annotate |