| 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 |