| Fri, 11 Aug 2017 14:29:30 +0200 | eberlm | Some facts about orders of zeros | file | diff | annotate |
| Fri, 12 May 2017 20:03:50 +0200 | haftmann | relaxed theory dependencies | file | diff | annotate |
| Fri, 12 May 2017 07:53:35 +0200 | haftmann | explicit theory for factorials | file | diff | annotate |