| Wed, 22 Aug 2018 12:32:58 +0000 | haftmann | more theorems on fact | file | diff | annotate |
| Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Mon, 09 Apr 2018 15:20:11 +0100 | paulson | Syntax for the special cases Min(A`I) and Max (A`I) | file | diff | annotate |
| Sat, 13 Jan 2018 09:18:54 +0000 | haftmann | restored naming of lemmas after corresponding constants | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sun, 08 Oct 2017 22:28:21 +0200 | haftmann | abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel | file | diff | annotate |
| Fri, 01 Sep 2017 12:57:24 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| 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 |