| Fri, 20 Oct 2017 07:46:10 +0200 | haftmann | added lemmas and tuned proofs | changeset | files |
| Thu, 19 Oct 2017 17:16:13 +0100 | paulson | merged | changeset | files |
| Thu, 19 Oct 2017 17:16:01 +0100 | paulson | Switching to inverse image and constant_on, plus some new material | changeset | files |
| Thu, 19 Oct 2017 00:55:34 +0200 | wenzelm | proper integer option for Admin/build_history; | changeset | files |
| Wed, 18 Oct 2017 20:26:32 +0200 | wenzelm | clarified output; | changeset | files |
| Wed, 18 Oct 2017 20:14:57 +0200 | wenzelm | tuned output; | changeset | files |
| Wed, 18 Oct 2017 19:53:19 +0200 | wenzelm | more thorough treatment of afp_version and afp_pull_date; | changeset | files |
| Wed, 18 Oct 2017 11:53:01 +0200 | wenzelm | tuned options; | changeset | files |