2016-12-16 | blanchet | refactored induction principle generation code, for reuse for nonuniform datatypes | changeset | files |
2016-12-16 | wenzelm | merged | changeset | files |
2016-12-16 | wenzelm | consolidate nested thms with persistent result, for improved performance; | changeset | files |
Loading... |