| Sun, 25 Feb 2018 19:30:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 05 Nov 2017 17:45:17 +0100 | wenzelm | more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3); | file | diff | annotate |
| 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 |