| Tue, 04 Jun 2019 19:51:45 +0200 | wenzelm | backout 34bc296374ee -- affects the raw_induct rule, e.g. relevant for AFP/Imperative_Insertion_Sort; | file | diff | annotate |
| Tue, 04 Jun 2019 15:14:19 +0200 | wenzelm | proper context; | file | diff | annotate |
| Tue, 26 Mar 2019 22:13:36 +0100 | wenzelm | more informative Spec_Rules.Equational, notably primrec argument types; | file | diff | annotate |
| Thu, 21 Feb 2019 09:15:07 +0000 | haftmann | streamlined specification interfaces | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Mon, 19 Feb 2018 14:49:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Mon, 11 Sep 2017 18:36:13 +0200 | wenzelm | clarified signature: proper result; | file | diff | annotate |