| 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 |
| Sat, 11 Jun 2016 16:41:11 +0200 | wenzelm | clarified syntax; | file | diff | annotate |
| Mon, 30 May 2016 14:15:44 +0200 | wenzelm | allow 'for' fixes for multi_specs; | file | diff | annotate |
| Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | file | diff | annotate |
| Thu, 28 Apr 2016 09:43:11 +0200 | wenzelm | support 'assumes' in specifications, e.g. 'definition', 'inductive'; | file | diff | annotate |