| Sun, 01 Jun 2014 14:00:58 +0200 | haftmann | definition in class: provide explicit auxiliary abbreviation carrying potential mixfix syntax in presence of dangling parameters | changeset | files |
| Sun, 01 Jun 2014 08:33:35 +0200 | haftmann | tuned | changeset | files |
| Sat, 31 May 2014 23:00:13 +0200 | boehmes | merged | changeset | files |
| Sat, 31 May 2014 22:59:54 +0200 | boehmes | tuned | changeset | files |
| Sat, 31 May 2014 22:31:03 +0200 | boehmes | more complete proof replay for Z3: support universally quantified rewrite steps | changeset | files |
| Sat, 31 May 2014 09:35:12 +0200 | haftmann | postpone const declarations for nested context after canonical const declarations: keep const declarations stemming from interpretation together | changeset | files |
| Sat, 31 May 2014 09:35:10 +0200 | haftmann | tuned | changeset | files |
| Sat, 31 May 2014 09:35:09 +0200 | haftmann | explicit is better than implicit | changeset | files |