| Sun, 23 Apr 2017 14:15:09 +0200 | wenzelm | added missing file (amending f533820e7248); | changeset | files |
| Sat, 22 Apr 2017 22:01:35 +0200 | wenzelm | theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications; | changeset | files |
| Sat, 22 Apr 2017 12:52:55 +0200 | wenzelm | merged | changeset | files |