| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Mon, 04 Feb 2019 12:16:03 +0100 | Manuel Eberl | More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots | file | diff | annotate |
| Thu, 20 Oct 2016 13:53:36 +0200 | eberlm | More on Fibonacci numbers | file | diff | annotate |
| Sun, 09 Feb 2014 17:47:23 +0100 | wenzelm | minimal document; | file | diff | annotate |