| Sun, 03 Dec 2017 18:53:49 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 03 Dec 2017 13:22:09 +0100 | wenzelm | discontinued old 'def' command; | changeset | files |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | more simplification rules | changeset | files |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | overhauling of primes | changeset | files |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | cleaned up and tuned | changeset | files |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | generalized more lemmas | changeset | files |
| Fri, 01 Dec 2017 20:49:42 +0100 | wenzelm | tuned output; | changeset | files |