Fri, 29 Jun 2018 23:04:36 +0200 | Andreas Lochbihler | merged | changeset | files |
Fri, 29 Jun 2018 22:56:34 +0200 | Andreas Lochbihler | declare case theorems as proper code equations | changeset | files |
Fri, 29 Jun 2018 22:50:35 +0200 | wenzelm | tuned; | changeset | files |