| Thu, 28 Apr 2016 09:43:11 +0200 | wenzelm | support 'assumes' in specifications, e.g. 'definition', 'inductive'; | changeset | files |
| Wed, 27 Apr 2016 10:03:35 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Apr 2016 22:59:25 +0200 | wenzelm | merged | changeset | files |
| Tue, 26 Apr 2016 22:59:03 +0200 | wenzelm | updated subtle side-conditions; | changeset | files |
| Tue, 26 Apr 2016 22:44:31 +0200 | wenzelm | some uses of 'obtain' with structure statement; | changeset | files |
| Tue, 26 Apr 2016 22:39:17 +0200 | wenzelm | 'obtain' supports structured statements (similar to 'define'); | changeset | files |
| Tue, 26 Apr 2016 21:46:12 +0200 | wenzelm | more portable: GNU find no longer supports "-perm +mode"; | changeset | files |
| Tue, 26 Apr 2016 19:37:47 +0200 | wenzelm | more uniform operations for structured statements; | changeset | files |