| Mon, 02 Jun 2014 11:59:50 +0200 | blanchet | add option to keep duplicates, for more precise evaluation of relevance filters | changeset | files |
| Mon, 02 Jun 2014 11:59:49 +0200 | blanchet | tuned whitespace | changeset | files |
| 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 |