| Mon, 30 May 2016 20:58:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Apr 2016 09:43:11 +0200 | wenzelm | support 'assumes' in specifications, e.g. 'definition', 'inductive'; | file | diff | annotate |
| Mon, 18 Apr 2016 14:26:42 +0200 | wenzelm | tuned; | file | diff | annotate |