| Thu, 08 Jun 2017 13:01:50 +0200 | wenzelm | tuned layout (amending 8040d2563593); | changeset | files |
| Thu, 08 Jun 2017 12:54:55 +0200 | wenzelm | more official session qualifier; | changeset | files |
| Thu, 08 Jun 2017 12:25:59 +0200 | wenzelm | clarified; | changeset | files |
| Thu, 08 Jun 2017 23:37:01 +0200 | boehmes | replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace | changeset | files |
| Wed, 07 Jun 2017 23:23:48 +0200 | wenzelm | merged | changeset | files |
| Wed, 07 Jun 2017 21:19:33 +0200 | wenzelm | clarified output; | changeset | files |