| Wed, 02 May 2018 23:32:47 +0100 | paulson | tidying up and using real induction methods | changeset | files |
| Wed, 02 May 2018 23:34:40 +0200 | wenzelm | tuned -- slightly smaller future closure size; | changeset | files |
| Wed, 02 May 2018 19:18:29 +0200 | wenzelm | clarified menu actions; | changeset | files |