| Wed, 21 Jun 2017 14:06:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 20 Jun 2017 13:07:49 +0200 | haftmann | deleting a code equation never leads to unimplemented function | changeset | files |
| Tue, 20 Jun 2017 13:07:47 +0200 | haftmann | avoid ancient [code, code del] antipattern | changeset | files |
| Tue, 20 Jun 2017 13:07:45 +0200 | haftmann | obsolete | changeset | files |
| Tue, 20 Jun 2017 13:07:44 +0200 | haftmann | register equations stemming from extracted proofs as specification rules | changeset | files |
| Tue, 20 Jun 2017 13:07:43 +0200 | haftmann | tuned | changeset | files |
| Tue, 20 Jun 2017 17:31:29 +0200 | wenzelm | merged | changeset | files |