| Sat, 17 Dec 2016 13:42:25 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 17 Dec 2016 12:24:13 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 16 Dec 2016 22:54:14 +0100 | blanchet | refactored induction principle generation code, for reuse for nonuniform datatypes | changeset | files |