| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Tue, 01 Jan 2019 17:04:53 +0100 |
Andreas Lochbihler |
new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
|
file |
diff |
annotate
|
| 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
|