| Sun, 01 May 2016 17:26:27 +0200 | nipkow | the standard While-rule | changeset | files |
| Fri, 29 Apr 2016 01:21:44 +0200 | wenzelm | re-tuned c9605a284fba, which impacts performance significantly (for unclear reasons) -- make AFP/Collections build again; | changeset | files |
| Thu, 28 Apr 2016 15:42:52 +0200 | wenzelm | unfold is subject to unfold_abs_def (still inactive); | changeset | files |
| Thu, 28 Apr 2016 11:47:01 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Apr 2016 11:34:26 +0200 | wenzelm | NEWS; | changeset | files |
| Thu, 28 Apr 2016 11:31:36 +0200 | wenzelm | clarified order: params/prems/concl interchangeable with !!/==> proposition; | changeset | files |
| 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 |