| 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 |