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 |