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