| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | more standardized theorem names for facts involving the div and mod identity | file | diff | annotate |
| Thu, 23 Jun 2016 16:46:36 +0200 | haftmann | avoid overlapping equations for gcd, lcm on integers | file | diff | annotate |