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