| Sun, 29 Jul 2018 23:04:22 +0100 | paulson | de-applying and removal of obsolete aliases | file | diff | annotate |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | more simplification rules | file | diff | annotate |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 23 Nov 2017 13:00:00 +0000 | haftmann | new simp rule | file | diff | annotate |
| Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
| Fri, 20 Oct 2017 20:57:55 +0200 | haftmann | algebraic foundation for congruences | file | diff | annotate |
| Wed, 12 Apr 2017 09:27:43 +0200 | haftmann | more fundamental euler's totient function on nat rather than int; | file | diff | annotate |
| Mon, 17 Oct 2016 15:20:06 +0200 | eberlm | Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche) | file | diff | annotate |